Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»

Con lo que sabemos podemos representar en el lenguaje de la lógica proposicional expresiones como «Francia es un país» (<math>A</math>), «Los triángulos rectángulos tienen un ángulo de 90° y los cuadrados tienen 4 ángulos de 90°» (<math>B \and C</math>) o «no es cierto que el sistema solar tiene nueve planetas» (<math>\neg D</math>). Sin embargo su verdadero poder como herramienta de razonamiento se vuelve aparente cuando la usamos para representar expresiones más complejas. Por ejemplo, podemos representar el texto:

 

 

con la proposición:

 

<blockquote>

* '''R''': La liebre está alerta.

* '''S''': La liebre es rápida.