Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Proposicional: (Semana 02)
Lógica Proposicional: (Semana 02)
Proposicional
(semana 02)
Ejemplo:
~ (p Ù q ) « [(~ p) Ú (~ q)]
(p∧q) ↔ ~ (~p∨~q)
3.3. Contradicción.- Llamamos contradicción si en la columna resultante todos los valores
son falsos.
Ejemplos:
p ∧ ~p
(p ∨ q) ↔ ~ (p ∨ q)
3.4. Contingencia.- Llamamos contingencia si en la columna resultado se encuentra
verdaderos y falsos, sin considerar cuántos verdaderos o cuántos falsos existan, es suficiente
que se encuentren ambos.
Ejemplos:
Dar como respuesta el valor de verdad de la siguiente expresión:
A∧ (B ∨ C)
A∧B→C
(A ∨ B) ↔ (B ∧ C)