Fórmulas lógicasNo es cierto que Santiago es hijo de Andrea y Laura no es hermana e Verónica?

Para traducir enunciados en forma de fórmulas lógicas, debemos conocer como funciona el lenguaje formal.

Para ello, primero debemos asignar a cada proposición de nuestra oración, una letra que nos permita plantear la expresión en lenguaje formalizado.

Usualmente se utilizan las letras p, q, r y s, dependiendo de la cantidad de proposiciones que tengamos.

Luego, utilizaremos unos operadores lógicos (símbolos), que le darán sentido completo a la expresión formalizada.

Estos símbolos son los siguientes : ^ = Y, sin embargo, tanto como, pero, aunque, también.

¬ = No, no es cierto que, no es verdad que, es falso que.

V = O, o bien, a menos que, a no ser que.

→ = Si .

Entonces, es suficiente para, es necesario para, siempre que.

↔ = Si y solo si, es equivalente a, solo en caso de que.

En el caso de la expresión "No es cierto que Santiago es hijo de Andrea y Laura no es hermana de Verónica" diremos lo siguiente : Proposiciones : p = Santiago es hijo de Andreaq = Laura es hermana de VerónicaSustituyendo "No es cierto que" por " ¬ ", "y" por "∧" y "no es" por " ¬ " tenemos lo siguiente expresión : ¬ p ^ ¬ qEspero que sea de ayuda!