priest

1 Propositional Logic martin Sun, 10/05/2008 - 11:11
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] martin Sun, 10/05/2008 - 02:01
Logical System

12/31/09 10 Software under construction.

You are invited to review