Proposiciones

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar su veracidad
o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera o falsa
empricamente, sin ambigedades.

TIPOS DE PROPOSICIONES

Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por negaciones (no) o trminos de enlace
como conjunciones (y), disyunciones (o) o implicaciones (si . . . entonces). Pueden aparecer trminos de
enlace en el sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas:

Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos

de enlace entre oraciones componentes.

EJEMPLOS:

Simples:

La ballena es roja.

La raz cuadrada de 16 es 4.

Gustavo es alto.

Teresa va a la escuela.

Compuestas:

La ballena no es roja.

Gustavo no es alto.

Teresa va a la escuela o Mara es inteligente.

4 es menor que 8 o 6 es mayor que 10.

El 1 es el primer nmero primo y es mayor que cero.

El 7 es mayor que 5 y 7 es menor que 10.

Si Yolanda es estudiosa entonces pasar el examen.

Si corro rpido entonces llegar temprano.

Terminar rpido si y slo si me doy prisa.

Aprender Matemticas si y slo si estudio mucho.

 Disyuncin

En matemticas, una disyuncin lgica, es un operador lgico que resulta verdadero si cualquiera de los
operadores es verdadero. Es un enunciado con dos o ms elementos optativos.

Las disyunciones de las proposiciones simples p v q ( que se lee: p o q) es falsa si

ambas proposiciones son falsas. El operador lgico disyuncin tambin se denomina OR y representa la
suma lgica.

EJEMPLO:

Si p es la proposicin es un nmero primo y q es 12 es divisible entre 3, entonces se pueden formar las

proposiciones compuestas:

p^q: 3 es un nmero primo y 12 es divisible entre 3

pvq: 3 en un nmero primo o 12 es divisible entre 3

La conjuncin

Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin:

Establece que la conjuncin es verdadera slo si las dos proposiciones componentes son verdaderas.
Cuando una de ellas no cumple la proposicin resultante es falsa.

La tabla de la verdad de la conjuncin se presenta:

Para que la proposicin molecular unida por la conjuncin sea verdadera, las proposiciones
atmicas que la conforman ambas tienen que ser verdaderas simultneamente.
Ejemplos:

Sea la proposicin molecular: "8 es mltiplo de 2 y 9 es un nmero impar"

p = "8 es mltiplo de 2" (verdadera) , q = "9 es un nmero impar" (verdadera)

por ser ambas verdadera la conjuncin entre ellas es verdadera.

Sea la proposicin molecular: "La fresa es una fruta y 3 es un nmero par"

p = "La fresa es una fruta" (verdadera) , q = "3 es un nmero par" (falsa)

Por tanto, la conjuncin entre ellas es falsa, ya que ambas no son simultneamente verdaderas.

LA IMPLICACIN

Es un conectivo lgico, se representa como una flecha entre dos proposiciones, se le "entonces"
si "p" y "q" son dos proposiciones, tenemos que
pq
se lee "p implica q" o "si p entonces q". es equivalente a la negacin de la primera proposicin conectada con
la segunda mediante el conectivo "o" inclusivo o disyuncin inclusiva.

La doble implicacin

La doble implicacin o bicondicional es un operador que funciona sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente.

La tabla de verdad del bicondicional es la siguiente:

El operador en lgica de conjuntos equivalente a la doble implicacin es el doble contenido o igualdad de

conjuntos.