CERTEZA & VALIDEZ

PRESENTADO POR:

OMAR CAMEJO
ERIKA LOSADA
❑ Valores de certeza y términos de
enlace de certeza funcional
 ✓ Conjunción << Y>>

Es un término de certeza de enlace funcional, de

manera que se pueda decidir el valor de certeza de la
proposición P & Q, si se conocen los valores de
certeza de la proposición P y de la proposición Q.
Combinación de valores de certeza P & Q
P Es cierta y Q Es cierta

P Es cierta y Q Es falsa

P Es falsa y Q Es cierta

P Es falsa y Q Es falsa
 o Regla práctica para conjunciones
La conjunción de dos proposiciones es ciertas sí y solo
si ambas proposiciones son ciertas
Prueba de la conjunción
▪Si P es cierta y Q es cierta, entonces P & Q es cierta.
▪Si P es cierta y Q es falsa, entonces P & Q es falsa.
▪Si P es falsa y Q es cierta, entonces P & Q es falsa.
▪Si P es falsa y Q es falsa, entonces P & Q es falsa.
 ✓ Negación << NO>>
▪Este termino de enlace es de certeza funcional
porque la certeza o falsedad de una negación
depende enteramente de la certeza o la falsedad de
la proposición.
Regla practica
▪La negación de una proposición cierta es falsa y la
negación de proposición falsa es cierta.
 o Ejemplo
▪Martín es primo de Carmen.
Si la segunda proposición es cierta, entonces la
primera proposición su negación ha de ser falta.
Si la segunda proposición es falsa entonces la
primera proposición ha de ser cierta.
Negación -P la proposición P puede ser cierta o falsa.
Si P es cierta, entonces –P es falsa
Si P es falsa, entonces –P es cierta
 ✓ Disyunción << O>>
▪Es un termino de enlace es de certeza funcional en
cualquier disyunción por lo menos si una de las dos
proposiciones es cierta quizás en ambas se requiere
que un miembro sea cierto.
Regla practica
▪La disyunción de dos proposiciones es cierta si y
solo si por lo menos una de las dos proposiciones es
cierta
 ✓ Proposiciones condicionales
▪Una condicional solo niega su proposición cuando
P Q P= falso Q= verdadero
P Q P Q Q P P Q

V V V V V

F V F V F

V F V F F

F F V V V
 o Ejemplo
La gran mayoría de los teoremas son, o se pueden
expresar con facilidad, en la forma si… entonces.
Algunos teoremas son de la forma “si A entonces B,
entonces A”.
Si un entero X es par; entonces X+1 es impar, y
Si X+1 es impar; entonces X es par
❑ Equivalencia
✓ Equivalencia << SI Y SOLO SI>>
Se han considerado proposiciones moleculares que
contienen el termino enlace. Las proposiciones
bicondicionales se denominan también equivalencias.
Ejemplo:
▪Usted puede votar sí y solo si está inscrito.
 ✓ Diagrama de valores de certeza
(P Q) & R donde P es un proposición cierta, Q es
una proposición falsa y R es una proposición cierta.
 ✓ Demostración condicional
▪De conjunto de premisas se puede deducir una
proposición condicional.
▪Una proposición condicional es aquella en la que se
utiliza (si… entonces…)
 ✓ Consistencia
▪Cuando dos o mas proposiciones son ciertas de al
menos una forma se denominan consistentes.
▪Para demostrar que una premisas son inconsistentes
de debe deducir una contradicción.
 ✓ Demostración Indirecta
▪Esta demostración se denomina también
demostración por contradicción o al absurdo.
▪Se puede deducir la negación del antecedente
cuando su consecuente es falso.
❑ Gracias