Reglas de inferencia

Modus ponens

( s ⊃ )

s

ஃ t

(a)  

Simplificación

Λ u

ஃ t

(a)  

Silogismo disyuntivo

( x V z )

~ z

ஃ

(a)  

Modus Tollens

( x ⊃ y )

ஃ ~ x

(a)  

Conjunción

x

ஃ ( x Λ y)

(a)  

Silogismo hipotético

( r ⊃ s)

( ⊃ t )

ஃ (r ⊃ t )

(a)  

Adición

p

ஃ ( p V )

(a)  

Las reglas de inferencia tienen la estructura de un argumento?

• Sí

• No

¿Las reglas de equivalencia tienen la estructura de un argumento?

• Sí

• No