En la lgica se considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en la realidad lo sea n; por

eso habla de
valores de verdad.

Ejemplo:
1. p q Si llueve, entonces las calles se mojan
2. p Llueve
________________________________________
3. q Luego, las calles se mojan

(premisa)
(premisa)
(conclusin)

El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa -efecto.
La regla "ponendo ponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este caso p) se
afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q).
Ejemplo:
1. Si son las 6 AM, entonces ya amaneci.
2. Son las 6 AM.

_______________________________________
3. Por lo tanto, Ya amaneci
Ejercicios:
c

Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los condicionales, a los que se hizo referencia en el ponendo
ponens.

Ejemplo:
p q Si llueve, entonces las calles se mojan
q Las calles no se mojan
__________________________________________________
p Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la caus a), puesto que si
un efecto no se da, su causa no ha podido darse.

Esto nos permite formular una regla combinada de las2 anteriores, consecuencia ambas de una misma propiedad de la implicacin(); la regla
ponendo ponens slo nos permite afirmar si est afirmado el antecedente (el primer trmino de la implicacin), y la regla tol lendo tollens slo nos
permite negar a partir del consecuente (segundo trmino de la implicacin); ambas consecuencias se derivan de que la implicac in es una flecha
que apunta en un nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del cons ecuente.
Ejemplo:

p q "Si son las 6 AM, entonces amaneci".

p
"No son las 6 AM."
_______________________________
q
Por lo tanto, no amaneci.

Ejercicios:
c

22) Lunes 10-Octubre-2016 pgina 1

22) Lunes 10-Octubre-2016 pgina 2