Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
Revert to revision 154560 dated 2020-04-09 16:19:17 by 2800:484:F82:E790:D90B:400A:190F:F95B using popups |
Revert to revision 152307 dated 2019-11-28 14:08:03 by Esteban16 using popups |
||
Línea 1:
{{título lección|título=Lección 6|texto=Proposiciones compuestas}}
Hasta este momento hemos visto que la lógica proposicional trata con enunciados atómicos que
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 \land 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:
| |||