Hoy seguimos con la "semántica" (tablas de verdad, etc.) de la lógica proposicional.

Resolvimos ejercicios y vimos las siguientes equivalencias lógicas (para cualesquiera A, B):

-(AvB) = -A & -B
-(A&B) = -A v -B 

(Leyes de De Morgan)

También vimos:

A -->B = -A v B
           = -(A & -B)
           = (-B -->-A)

Vimos los siguientes "atajos" para hacer tablas más expeditivamente:

(1)  CONDICIONAL CON ANTECEDENTE FALSO ES VERDADERO (NO IMPORTA EL CONSECUENTE)

(2) CONDICIONAL CON CONSECUENTE VERDADERO ES VERDADERO (NO IMPORTA EL ANTECEDENTE)

Ambas cosas se siguen de la tabla del condicional, donde vemos que una fórmula condicional sólo es falsa si su antecedente es V y su consecuente F.


Algo parecido para las conjunciones:


(3) CONJUNCIÓN CON UNO DE SUS MIEMBROS FALSO ES FALSA (NO IMPORTA EL OTRO)


Y para disyunciones:

(4) DISYUNCIÓN CON UNO DE SUS MIEMBROS VERDADERO ES VERDADERA (NO IMPORTA EL OTRO)



Quedó pendiente como ejercicio demostrar la equivalencia lógica de las fórmulas:


(p&q) -->r   y   p -->(q---->r)


para ello vimos antes cómo armar tablas de 8 posibilidades (3 letras p, q, r).

Los demás ejercicios para el jueves, en breve en el blog.

Palabras del día:

somero
sucinto
refrendar
expeditivamente

¿Qué significan?