3. Normal Modal Propositional Logic
Topic
10/3/08 10 Software under construction.
K Modal Trees
Close the following trees using S5. Then go to the Rule Set Menu and change the rules to K, then try to close the trees a second time.
priest
2. Basic Modal Propositional Logic
Topic
Logical System
10/3/08 10 Software, under construction.
K Modal Trees
Close the following trees using S5. Then go to the Rule Set Menu and change the rules to K, then try to close the trees a second time.
1 Propositional Logic
Logical System
10/3/08 10 Software under construction.
Propositional Logic
a) P⊃ Q, R⊃ Q ∴ (P∨ R)⊃ Q
b) P⊃ (Q∧R), ¬R ∴ ¬P
c) ∴ ((P⊃ Q)⊃ Q)⊃ Q
d) ∴ ((P⊃ Q)∧ (¬P⊃ Q))⊃ ¬P
Non-Classical Logic [under construction]
12/31/09 10 Software under construction.
You are invited to review
Most of these pages load java applets and that means that they may take 20 seconds or so to load. [Your browser will then 'cache' the applets and subsequent work will proceed much more quickly.]