Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
m +contenido |
m +contenido |
||
Línea 1:
{{concepto|título=Lección 6|texto=Proposiciones compuestas}}
Hasta este momento hemos visto que la lógica proposicional trata con enunciados atómicos que 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
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>).
=== Tipos de proposiciones ===
| |||