Equivalencia - iTvZJose21

Vista previa del material en texto

Universidad de Guadalajara
Métodos Matemáticos I
Demostración formal de validez:
leyes de equivalencia
Practica las leyes de equivalencia y ejercítate en el desarrollo de la prueba formal de validez utilizando este
grupo de leyes, apoyándote de las reglas de inferencia, también..
Resuelve los ejercicios que se presentan en las imágenes de las páginas siguientes, de acuerdo a la
indicación referida en la misma.
Referencia:
Copi, I.; Cohen, C. (2007) Introducción a la Lógica. México, Limusa
Basulto Solis Christian Martin
219098958
Universidad de Guadalajara
Métodos Matemáticos I
Transposición 1
Doble negación 3
silogismo hipotetico 1, 4
conmutativa 2
exportacion 3
SH 4, 2
adicion 2
conmutativa 3
MP 1, 4
asosiativa 5
simplificacion 6
adicion 2
DM 3
MT 1, 4
DM 5
SIMPLIFICACION
Asociativa 2
conmutativa 3
simplificacion 4
tautologia trivial 5
asosiativa 1
sd 7,6
implificacion material 8
exportacion 2
DM 3
CONJUNCION 4, 5
ADICION 6
DILEMA CONSTRUCTIVO 6, 7
EQUIVALENCIA MATERIAL 8
EM 3
SD 5, 4
DM 6
MP 2, 1
IMPORTACION 8
TAUTOLOGIA TRIVIAL 9
MD10,7
EM 1
MP 23
SD3 ,5
IMPORTACION 7
TAUTOLOGIA T 8
MP 8, 9
XD 8
MD 3
TAUTOLOGIA T 5 , 4
IMPORTACION 6
MP6, 5
SD 7, 6
MD 8, 7
SD 8,9
IMPORTACION 10
MD 10, 11
EM 1
SD 2- 3
SD 3
DM 4
MP 4, 5
IMPORTACION 6
MD 7, 8
IM 8
MD 8, 9
TAUTOLOGIA 9
MD 10, 11
Universidad de Guadalajara
Métodos Matemáticos I
Universidad de Guadalajara
Métodos Matemáticos I