Reglas de inferencia

Modus ponens

( s ⊃ )

s

ஃ t

Simplificación

Λ u

ஃ t

Silogismo disyuntivo

( x V z )

~ z

ஃ

Modus Tollens

( x ⊃ y )

ஃ ~ x

Conjunción

x

ஃ ( x Λ y)

Silogismo hipotético

( r ⊃ s)

( ⊃ t )

ஃ (r ⊃ t )

Adición

p

ஃ ( p V )

Las reglas de inferencia tienen la estructura de un argumento?

• Sí

• No

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

• Sí

• No