Message Boards Message Boards

0
|
5688 Views
|
2 Replies
|
1 Total Likes
View groups...
Share
Share this post:

How to input ((?x : a • p) ? (?x : a • p ? q)) ? (?x : a • q)?

Posted 7 years ago

I would like to input the statement ((?x : a • p) ? (?x : a • p ? q)) ? (?x : a • q) in order to generate a proof tree using both introduction and elimination rules.

Is Wolfram able to do this? When I input the statement currently, it says it does not fully understand.

POSTED BY: Daniel Wilkinson
2 Replies

Thanks, I'm downloading Mathematica now and will give that a shot.

POSTED BY: Daniel Wilkinson

For longer, more involved things like this, you would want to use Mathematica or Mathematica online.

I don't think there's a built in function for generating such readable proof trees. Maybe there's a package out there for it. Are you using Sequent Calculus? Which formal logic exactly did you want to use? I would look online to see anyone had made a tool for working with them in Mathematica.

POSTED BY: Sean Clarke
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract