Lógica, Teoría de conjuntos, Álgebras de Boole

1.1 Lógica

1.1.1 Proposiciones

En matemáticas, consideramos frases que son o bien verdaderas (=ciertas), o bien falsas, como las
siguientes: “2+3 = 4”

“Hoy es lunes” “Si x = 2 entonces x2 = 4”

Estas frases las llamamos proposiciones. No son proposiciones frases como:

“Ojalá no llueva hoy !”

La frase siguiente, “x > 0 y x < 1.”

1.1.2 Componiendo proposiciones: y, o, no, implicación, equivalencia

Considérese la proposición siguiente:

“Hoy es lunes y llueve”

Esta proposición es compuesta de dos proposiciones más pequeñas (la primera es “Hoy es lunes”,
la segunda es “llueve”) por medio de un conector lógico (“y”). Aquí están otros ejemplos de
proposiciones compuestas:

“Si llueve, no salgo”

“5≥3 y 5≤6”

Las proposiciones que no son compuestas, las llamamos proposiciones simples, como:

“5≥3”.