1) (-P --> -P)
2) (-P --> -P) --> P
3) (P --> P)
4) ((P -->P) --> Q)
5) (P --> (-P) <--> Q)
5a) (-P --> -P)
6) (Q --> Q) --> R
7) (Q --> (-Q) <--> R)
7a) (-Q --> -Q)
8 ) -P --> P --> Q --> R
.................--> -P --> P
...........................--> -Q --> Q
Tautology of Loops
-
- Posts: 4369
- Joined: Wed Feb 10, 2010 2:04 pm
Re: Tautology of Loops
the toucan eats froot
-Imp
-Imp
Re: Tautology of Loops
Toucan play this game.
-
- Posts: 4369
- Joined: Wed Feb 10, 2010 2:04 pm
Re: Tautology of Loops
Toucan string phone
-Imp
-Imp