REGOLE CRITICAL THINKING
Reductio ad absurdum 1
[A]
⋮
⊥
––
¬A
Reductio ad absurdum 2
[¬A]
⋮
⊥
––
A
La regola di introduzione della
congiunzione
A B
––––– I∧
A∧B
La regola di eliminazione della
congiunzione
A∧B
———— E∧1
A
La regola di introduzione della
disgiunzione
A
––––– I∨1
A∨B
La regola di eliminazione della
disgiunzione
[A] [B]
⋮ ⋮
A∨B C C
–––––––––––––– E∨
C
La regola di introduzione della
negazione
[A]
⋮
⟂
———— I¬
¬A
La regola di eliminazione della
negazione
A ¬A
–—––– E¬
⟂
Regola di introduzione della doppia
negazione
A
——— I¬¬
¬¬A
La regola di eliminazione della doppia
negazione
¬¬A
——— E¬¬
A
La regola di introduzione del
condizionale
[A]
⋮
B
————— I →
A → B
La regola di eliminazione del
condizionale (MODUS PONENS)
A A → B
–———————— E→
B
