## 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

3. Normal Modal Propositional Logic
martin
Sun, 10/12/2008 - 21:32
#### K Modal Trees

Topic

10/3/08 10 Software under construction.

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.

2. Basic Modal Propositional Logic
martin
Tue, 10/07/2008 - 14:24
#### K Modal Trees

Topic

Logical System

10/3/08 10 Software, under construction.

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.

Logical System

10/3/08 10 Software under construction.

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

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.] *