Universidad de San Carlos de Guatemala Facultad de Ingenier a

Matem atica para Computaci on 1 Secci on B

Departamento de Matem atica Segundo Semestre 2011

Reglas de Inferencia Nota: Esta hoja contiene las reglas de inferencia, es de uso ocial para realizaci on de hojas de trabajo y ex amenes parciales. No se permite hacer apuntes en ella. Regla de inferencia p pq q pq qr pr pq q p p q pq pq p q p F0 p pq p p pq pq p (q r ) r pr qr (p q ) r pq rs pr qs pq rs q s p r Implicaci on l ogica relacionada [p (p q )] q Nombre de la regla Regla de separaci on (Modus ponens)

[(p q ) (q r)] (p r)

Ley del silogismo

[(p q ) q ] p

Modus Tollens

Regla de la conjunci on

[(p q ) p ] q ( p F0 ) p (p q ) p ppq [(p q ) [p (q r)]] r

Regla del silogismo disyuntivo Regla de contradicci on Regla de simplicaci on conjuntiva Regla de amplicaci on disyuntiva Regla de demostraci on condicional

[(p r) (q r)] [(p q ) r]

Regla de demostraci on por casos

[(p q ) (r s) (p r)] (q s)

Regla del dilema constructivo

[(p q ) (r s) ( qs )] ( pr )

Regla del dilema destructivo