Tautologies

February 06 2006 by dcasimir 1162
false

1


Can Maple be used to see if propositional logic sentences with arbitary propositional constants are tautologies ? i.e. (if they are always true under every possible interpretation or arrangement of the truth values true and false).
constants logic
 
Loading Comments & Answers

You must be logged into your MaplePrimes account in order to post a comment. If you don't have an account, you can create an account here.

     

Forgot Your Password? Create an Account