EJERCICIO TABLAS DE VERDAD EN COMUNIDAD.

CONVERTIR ENUNCIADOS EN FORMA SIMBÓLICA.

P=tenemos tarea
Q= me voy para la casa
No tenemos tarea y me voy para la casa ¬p^q
Tenemos tarea o me voy para la casa: pvq
No es cierto que no tenemos tarea y no me voy para la casa ¬(¬p^¬q)

CONVERTIR DE SÍMBOLOS A LENGUAJE NATURAL.
(UTILIZAR TODOS LOS CONECTORES LÓGICOS)

P=El monstruo esta.
Q=Siento miedo

pvq: El monstruo esta o siento miedo.

¬¬pvp: No es cierto que no esta el monstruo o siento miedo.
p^q: El monstruo esta y siento miedo.
((p­^q)^¬(¬q)): El monstruo esta y siento miedo y es falso que no sienta miedo.

P: Si trabajas
Q: Hay dinero.

(¬pà¬q)^pàq: Si no trabajas entonces no hay dinero y si trabajas entonces hay dinero.
vpv¬p: O trabajas o no hay dinero.
p^q: Si trabajas y hay dinero.

COMPROBAR UNA TAUTOLÓGICA Y UNA CONTRADICCIÓN.
ENCONTRAR TABLAS DE VERDAD.

P: Si trabajas
Q: Hay dinero.
(pàq)v¬q: Si trabajas entonces hay dinero o no hay dinero.

*P: Rambo si ataca.
*Q: No hay guerra.
¬(PàQ)^(Pà¬Q): Es falso que Rambo ataca entonces hay guerra y Rambo si ataca entonces no hay guerra.

COMPROBAR UNA EQUIVALENCIA.

P: Juan esta bien informado

Q: Juan es honesto.

¬(p^q) : Juan o no esta bien informado o no es honesto
(¬pv¬q): No es verdad que Juan esté informado y sea honesto
Expresándolo simbólicamente sería:

TABLAS DE VERDAD
http://novenatecnologia.wordpress.com/2008/01/18/lenguaje-informatico/

La interpretación de una fórmula queda completamente determinado por los valores de verdad de las variables proposicionales (VP) que dicha interpretación asigna a las letras enunciativas que aparecen en esa fórmula. Una vez que conocemos el valor de verdad que la interpretación asigna a cada VP y tenemos presentes las definiciones de los conectivos resulta fácil determinar el valor de verdad que le corresponde a la fórmula completa.El procedimiento de determinación requiere ir por pasos, estableciéndolos valores correspondientes a los diferentes niveles de subfórmulas (indicados por los paréntesis) hasta alcanzar el nivel de la fórmula completa. Así obtenemos una tabla de verdad para la fórmula en cuestión.

Una tabla de verdad establece las diferentes posibles combinaciones de valores de verdad de las VP de una fórmula y determina los valores correspondientes a esa fórmula para cada una de esas combinaciones, es decir, cada renglón será una interpretación posible para esa fórmula a partir de las diferentes combinaciones de valores de verdad para las VP que la compongan.

Cada tabla requiere un número de interpretaciones que se corresponde con el número de combinaciones de valores de verdad para las VP que aparezcan en la fórmula. El criterio para determinar cuantas interpretaciones posibles tiene una fórmula depende del número de VP distintas que aparezcan en ella. Dado que según el Principio de Bivalencia que rige la Lógica Clásica una fórmula sólo puede tener dos valores de verdad (a saber, V o F) para una fórmula que contenga n VP, ese número es 2n. Así la tabla de verdad de una fórmula que tenga 2 variables tendrá 22 = 4 renglones, una que tenga 3, tendrá 23 = 8, una que tenga 4 24 = 16 y así sucesivamente.

Luego de calcular el número de renglones necesarios (en este caso hay sólo dos VP, luego serán 4 renglones) procedo de la siguiente manera:

Paso 1: La columna 1 corresponde a la asignación de todas las combinaciones de valores de verdad posibles de las VP que aparecen en la fórmula

Paso 2: Calculo el valor de Verdad correspondiente a las negaciones de VP

Paso 3: Calculo los conectivos binarios que afecten directamente a VP o a negaciones de VP

Paso 4: Calculo conectivos binarios que afecten a los resultados del paso anterior hasta llegar al conectivo principal de la fórmula.

El resultado de la tabla aparecerá reflejado debajo del conectivo principal.

El resultado de la tabla de verdad de una fórmula es la última columna (correspondiente al conectivo principal de la fórmula molecular). Como se habrá observado pueden ocurrir tres casos:

a) el resultado final de la tabla sólo arroja signos de V.