Advanced Search

Question: Predicate Logic Expressions

Question:Predicate Logic Expressions

dcasimir 1212 Maple
logic
March 13 2006
0
Can Maple 10 be used to determine if the universal or existential closure of predicate logic sentences that may or may not contain quantifiers is valid ? For example, does the tautology, equivalent and other functions of the Logic package only apply to propositional sentences ? dc
Please Wait...