Fórmulas lógicas
No es cierto que Santiago es hijo de Andrea y Laura no es hermana e Verónica.
Respuestas a la pregunta
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 Andrea
q = Laura es hermana de Verónica
Sustituyendo "No es cierto que" por " ¬ ", "y" por "∧" y "no es" por " ¬ " tenemos lo siguiente expresión: ¬ p ^ ¬ q
Espero que sea de ayuda!