Leyes Elementales

Se usan para la demostracion directa

Algunos razonamientos validos, son leyes logicas, y sirven tambien para

calcular la validez de otros razonamientos. A dichos razonamientos se les
llama:
Implicaciones Notables

1. Modus ponens 8. Ley de transposicion

2. Modus tollens 9. Ley de traslacion
3. Modus tollendo ponens 10. Leyes de Morgan
4. Ley conjuntiva 11. Dilema constructivo
5. Ley simplificativa 12. Dilema destructivo
6. Ley aditiva 13. Ley del condicional
7. Silogismo condicional .

Presentaremos cada una de estas leyes, las cuales siempre se usaran en la

prueba formal de validez.
Modus ponens

1. Modus ponens Ejemplo 1.4

1. p q Si llueve, las calles se mojan
2. p Esta lloviendo
q
Luego:
Las calles se estan mojando
Modus tollens

2. Modus tollens Ejemplo 1.5

1. p q Si llueve, las calles se mojan
2. q Las calles no estan mojadas
p
Entonces:
Es seguro que no ha llovido
Modus tollendo ponens

3. Modus tollendo Ejemplo 1.6

ponens O vamos al cine o vamos al
A) 1. pq teatro
2. p no vamos al cine
q
Entonces:
Vamos al teatro

3. Modus tollendo Ejemplo 1.7

ponens O vamos al cine o vamos al
B) 1. pq teatro
2. q no vamos al teatro
p
Entonces:
Vamos al cine
Ley conjuntiva

4. Ley conjuntiva Ejemplo 1.8

1. p Soy guapo
2. q Soy millonario
pq
Luego:
Soy guapo y millonario
Ley simplificativa

5. Ley simplificativa Ejemplo 1.9

A) 1. pq Soy guapo y millonario
p Luego, puedo decir que:
Soy guapo
B) 1. pq
q
Ejemplo 1.10
Soy guapo y millonario
Luego:
Soy millonario
Ley aditiva

6. Ley aditiva Ejemplo 1.11

A) 1. p Voy al cine
pq Luego, puedo decir que:
Voy al cine o voy al teatro
B) 1. q
pq
Ejemplo 1.12
Voy al teatro
Luego:
Voy al cine o voy al teatro
Silogismo condicional

7. Silogismo condicional Ejemplo 1.13

o Ley transitiva Si llueve las calles se mojan
1. p q Si las calles se mojan me
2. q r resbalo
pr
Luego:
Si llueve me resbalo
Leyes de transposicion, traslacion y Morgan

8. Ley de transposicion

B) 1. q p
A) 1. p q pq
q p

9. Ley de traslacion

A) 1. (p q) r B) 1. p (q r )
p (q r) (p q) r

10. Leyes de Morgan

A) 1. (p q) B) 1. (p q)
p q p q
Dilema constructivo, destructivo, y ley condicional

11. Dilema constructivo 12. Dilema destructivo

1. (p q) (r s) 1. (p q) (r s)
2. (p r ) 2. q s
qs p r

13. Ley del condicional

A) 1. p q B) 1. p q
p q pq