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

Contenido eliminado Contenido añadido
Esteban16 (discusión | contribs.)
m Revertidos los cambios de 201.162.177.133 (disc.) a la última edición de Texvc2LaTeXBot
Etiqueta: Reversión
Error ortografico
Etiquetas: Edición desde móvil Edición vía web móvil
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 son numer9s erroneos porque una propocicion son cosas malas
llamamos proposiciones y que representamos con letras individuales debido a que no nos interesan sus características internas, solamente su valor de verdad. También nos hemos familiarizado con las principales conectivas lógicas que podemos usar para combinar proposiciones individuales (conjunción, disyunción, implicación) o para cambiar su valor de verdad (negación).
 
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: