Equivalencia de proposiciones
","courseID":"logica","sclassID":"7","extId":"A","sessionId":"logica_7_andres.gomez","id":"logica_7_andres.gomez_0","summary":{"idea":"logica_7_andres.gomez_0","text":"Dos fórmulas proposicionales α y ß son equivalentes ssi para cualquier valuación v: Prop -> {0,1} se cumple v(α) = v(ß). Esto es sinónimo a decir que α es equivalente a ß ssi (α ssi ß) es una tautología.","extId":"A","id":"sumOf_logica_7_andres.gomez_0","comments":[],"editSummary":false,"$$hashKey":"object:158"},"questions":[],"comments":[],"editIdea":false,"$$hashKey":"object:148"},{"pos":1,"text":"Teorema de sustitución","courseID":"logica","sclassID":"7","extId":"B","sessionId":"logica_7_andres.gomez","id":"logica_7_andres.gomez_1","summary":{"idea":"logica_7_andres.gomez_1","text":"(H) α1 eq α2
(T) Para toda ß ∈ Prop y para cualquier p ∈ P se cumple que: ß[α1/p] eq ß[α2/p]
","extId":"B","id":"sumOf_logica_7_andres.gomez_1","comments":[],"editSummary":false,"$$hashKey":"object:177"},"questions":[],"comments":[],"editIdea":false,"$$hashKey":"object:167"},{"pos":2,"text":"Conjuntos completos de conectivos","courseID":"logica","sclassID":"7","extId":"C","sessionId":"logica_7_andres.gomez","id":"logica_7_andres.gomez_2","summary":{"idea":"logica_7_andres.gomez_2","text":"Un conjunto de conectivos C es completo si cualquier función de verdad es definible en términos de los conectivos de C.","extId":"C","id":"sumOf_logica_7_andres.gomez_2","comments":[],"editSummary":false,"$$hashKey":"object:205"},"questions":[],"comments":[],"editIdea":false,"$$hashKey":"object:186"},{"pos":3,"text":"Conjunciones y disyunciones finitas","courseID":"logica","sclassID":"7","extId":"D","sessionId":"logica_7_andres.gomez","id":"logica_7_andres.gomez_3","summary":{"idea":"logica_7_andres.gomez_3","text":"- M φi = φi and (M φ(i-1))
- W φi = φi and (W φ(i-1))
","extId":"D","id":"sumOf_logica_7_andres.gomez_3","comments":[],"editSummary":false,"$$hashKey":"object:214"},"questions":[],"comments":[],"editIdea":false,"$$hashKey":"object:194"},{"pos":4,"text":"Formas normales","courseID":"logica","sclassID":"7","extId":"E","sessionId":"logica_7_andres.gomez","id":"logica_7_andres.gomez_4","summary":{"idea":"logica_7_andres.gomez_4","text":"- Una fórmula esta en forma normal conjuntiva ssi es de la forma:
M (W φij) con i ≤ n, j ≤ m
donde cada φij es una fórmula atómica o la negación de una fórmula atómica.
- Una fórmula esta en forma normal disyuntiva ssi es de la forma:
W (M φij) con i ≤ n, j ≤ m
donde cada φij es una fórmula atómica o la negación de una fórmula atómica.
Para toda α ∈ Prop existen fórmulas αc y αd en forma normal conjuntiva y forma normal disyuntiva respectivamente tales que
- α eq αc
- α eq αd