Philosophy Now Forum

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

the toucan eats froot

-Imp

Impenitent wrote: ↑Thu Mar 19, 2020 12:32 am the toucan eats froot

Toucan play this game.

Toucan tango.

Toucan string phone

-Imp