clase virtual semana del 30 de abril al 4 de mayo
Lógica Proposicional.
Clase 2.
Reglas para la formación de Frases en el
lenguaje de la lógica proposicional.
1. La constante V (verdadero) y F (falso) pertenecen al
lenguaje de la lógica proposicional LPROP.
2. Las letras de proposición
(variables) p, q, r... pertenecen al LPROP.
3. Si A y B pertenecen a LPROP
entonces (A'), (B') , (A ^ B) , (A v B) , (A-> B, (A <-> B) pertenecen a
LPROP.
Solo
pertenecen a LPROP las formulas que cumplan los requisitos 1 2 y 3.
Interpretar
una formula del lenguaje proposicional es atribuir significados ( verdadero y falso) a dicha formula.
Propiedades de la conjunción de la disyunción
y de la negación:
Teorema1.1: Para toda proposición p, q, r se
cumple:
1.- Conmutatividad;
p ^ q es equivalente a q ^ p
p v q es equivalente a q v p
2. Asociatividad;
(p ^ q) ^ r es equivalente a p ^ (q ^ r)
(p v q) v r es equivalente a p v (q v r)
3. Idempotencia;
p ^ p’ es equivalente a p
p v p’ es equivalente a p
