Please enable JavaScript.
Coggle requires JavaScript to display documents.
lógica - Coggle Diagram
lógica
-
Cálculo
proposicional
-
Proposición
concepto
es toda afirmación u oración declarativa que expresa algo sobre lo que se pueda decir si es verdadero o falso
-
Proposiciones compuestas
-
conectivas
Implicación
→
ejemplo
si estudio mucho, entonces aprobare mi examen p=estudio mucho para mi examen q=aprobare mi examen p →q
Doble implicación
↔
ejemplo
carlos va a la fiesta, si y solo si susan va a la fiesta p=carlos va a la fiesta q=susan va a la fiesta= p ↔ p
-
-
-
-
-
-
-
Tautología
una formula P es tautología si toda valoraciónes modelo de ella.(Si P es tautología, entonces es
satisfactible).
Creación de tablas
Es una expresión lógica que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad.La construcción de una tabla de verdad es un método efectivo para determinar si una expresión cualquiera es una tautología o no.
-
contradicción
Un fórmula P es una contradicción si no tiene modelos. (P es contradicción si y sólo si es insatisfactible)
Creación de tablas
Una proposición es una contradicción, si es falsa para todos sus valores de verdad .
-
contingencia
Un fórmula P es una contingencia si existen algunas valoraciones que son modelos de P y otras que no lo son
Creación de tablas
Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de los valores de verdad de las proposiciones simples que la componen
-
-
Satisfactibilidad
Una formula P es satisfactible, si existe alguna valoracion π que verifique π(P)=1, se dice entonces que π satisface P (π⎥= P), o que π es un modelo de P [π ⊆ Mod(P)].
