Lógica proposicional

Conceptos

• Proposición 10 ejerciciosUna proposición P es un enunciado declarativo al que se asigna uno de los valores de verdad top o bot.
• Operador lógico 10 ejerciciosUn operador lógico L es una función que, para algún entero n≥ 1, recibe n proposiciones y produce una proposición.
• Negación 10 ejerciciosDada una proposición P, su negación es la proposición ¬ P.
• Conjunción 11 ejerciciosDadas proposiciones P y Q, su conjunción es la proposición P∧ Q.
• Disyunción 10 ejerciciosDadas proposiciones P y Q, su disyunción inclusiva es la proposición P∨ Q.
• Implicación 10 ejerciciosLa implicación material P⇒ Q es falsa exactamente cuando P es verdadera y Q es falsa.
• Equivalencia lógica 10 ejerciciosP y Q son lógicamente equivalentes si tienen el mismo valor de verdad en toda asignación.
• NAND 10 ejerciciosDadas proposiciones P y Q, la operación NAND es la negación de su conjunción.
• Tabla de verdad 11 ejerciciosSean P_1,…,P_n proposiciones atómicas. Una tabla de verdad registra el valor de una fórmula para cada asignación mathcal V de ell…
• Tautología 10 ejerciciosUna proposición compuesta P es una tautología si es verdadera bajo toda asignación de sus componentes.
• Contradicción 11 ejerciciosUna proposición compuesta P es una contradicción si es falsa bajo toda asignación de sus componentes.