MATEMATICA I

LÓGICA PROPOCISIONAL

LOGICA PROPOSICIONAL

La lógica proposicional se ocupa del razonamiento lógico deductivo como formas del
conocimiento científico.

Definimos lo que es lógica proposicional como una rama de la lógica matemática básica que
estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante
conectores lógicos, también las relaciones y propiedades que se derivan de esos
procedimientos.

La lógica proposicional estudia oraciones a las que sin ambigüedad se les puede asignar un
valor de verdad. A tales oraciones se les llama proposiciones

Ejemplos:

El sol sale por el oriente.

Proposiciones Son oraciones o enunciados que tienen la propiedad de ser verdaderas o falsas,
sin ser ambas al mismo tiempo, pero pueden relacionarse entre ellas por medio de su verdad o
falsedad. La veracidad o falsedad de una proposición se le denomina valor de verdad o
falsedad de una proposición.

Ejemplos

1. 45−12=23 Es proposición (Falso)

2. Un ángulo llano mide 1800 Es proposición (verdadero)
3. Carlos es gordo Es proposición (verdadero)
4. Estudia lenguaje No es proposición
5. Come carne No es proposición, es enunciado

Notación. – A las proposiciones se les denota con letras minúsculas como: p , q , r , s , etc .

Las proposiciones pueden ser simples o compuestas.

Proposición simple. – Una proposición simple es llamada también proposición atómica si no

tiene conectivo lógico alguno.

Ejemplos

1. 8 es un número entero (verdadero)

2. El Cusco se encuentra al sur del Perú. (verdadero)
3. 16−9>3 verdadero
4. En una recta existen infinitos puntos (verdadero)
5. La mesa de tu casa es de madera. (Verdadero)

Proposición compuesta. – La proposición compuesta llamada también proposición molecular

es la que tiene al menos un conectivo lógico.
 MATEMATICA I

Dadas dos proposiciones están pueden relacionarse mediante los conectivos lógicos: “y” , “o” ,
“implica” y “equivalente a” En cada caso serán llamadas proposiciones conjuntivas,
disyuntivas, implicativas o equivalentes, respectivamente.

PROPOSICIÓN CONJUNTIVA

Es una proposición obtenida relacionando dos proposiciones simples mediante el conectivo

lógico “y” que se simboliza por ˄ .

Ejemplos

Se tiene las proposiciones siguientes:

p :3 es un número impar
q :3 es un número primo }
⇨ p ˄ q :3 es un número impar y número primo

r :125 es multiplo de 5
s :125 divisible entre 5}⇨ r ˄ s :125 es multiplo de 5 y es divisible entre 5

p : El agua es una molécula

q :el agua es un disolvente universal }
⇨ p ˄ q :el agua es una molécula y es un disolvente universal

PROPOSICIÓN DISYUNTIVA

Es la proposición compuesta por la relación de dos proposiciones simples a través del

conectivo “o” que se simboliza mediante ˅ . las proposiciones disyuntivas son de dos tipos:

o Proposiciones Exclusivas
En estas proposiciones la ocurrencia de una proposición excluye la ocurrencia de la
otra.
Las proposiciones disyuntivas exclusivas se denotan por: underline {˅}

Ejemplos

p ˅q : “Elena es gorda o delgada

r ˅ s : Rubí tiene 17 o 19 años
p ˅q : Esa polera es roja o amarilla
r ˅ s : Esa abeja es una obrera o un zángano
p ˅q : Esa célula es procariota o eucariota

o Proposiciones inclusivas

En este tipo de proposiciones la ocurrencia de una proposición no excluye la

ocurrencia de la otra y pueden ocurrir ambas proposiciones a la vez.

Las proposiciones disyuntivas exclusivas se denotan por: ˅

Ejemplos
 MATEMATICA I

p ˅q : Los triángulos isósceles tienen dos ángulos congruentes o dos lados

congruentes

p ˅q :Eleazar va a la piscina o el tomar el sol

r ˅ s: Algunas plantas son machos o hembras (hermafroditas)

p ˅q : Juan come o camina

El valor de verdad de las proposiciones conjuntivas y disyuntiva se presenta en la tabla

siguiente:

pq p ˄q p ˅q p ˅q
VV V V F
VF F V V
FV F V V
FF F F F

LA NEGACIÓN

Para toda proposición p existe otra no p llamada negación. Se denota mediante “ p ”

La tabla de valores para la negación es

p p
V F
F V
Ejemplo

p :El carro de José esta malogrado,

p :El carro de José no está malogrado

PROPOSICIÓN CONDICIONAL

Es una proposición compuesta obtenida por la relación de dos proposiciones simples a través
del conectivo “Entonces” que tiene la forma: “ si p entonces q ”. Se simboliza por: p⇨q donde
pes el antecedente y q es el consecuente.

Ejemplos

Si Nayely estudia matemática I entonces salvará el curso

Si el eucalipto es una especie invasora entonces no es endémica del Perú.

El eucalipto perjudica a las especies endémicas entonces estas reducirán su población

Si los sueldos suben entonces hay mayor consumo

 MATEMATICA I

La proposición directa p ⇨q es verdadera si el antecedente es falso y el consecuente es

verdadero y también cuando ambos son verdaderos y ambos son falsos. Lo cual se muestra en
el cuadro siguiente:

pq p ⇨q
VV V
VF F
FV V
FF V

Las proposiciones condicionales se denominan también proposiciones directas, de las derivan

tres, las cuales son:

o Proposición recíproca: q ⇨ p
Ejemplo
p ⇨q : Si los sueldos suben, entonces aumenta el consumo
q ⇨ p : Si hay aumento en el consumo entonces suben los sueldos

o Proposición contraria: p ⇨ q

p ⇨q :Si los hombres son religiosos entonces son buenos

p ⇨ q :Si los hombres no son religiosos entonces no son buenos
p ⇨q : Si Lima es capital del Perú entonces Santiago es capital de Chile
p ⇨q :Si Lima no es capital del Perú entonces Santiago no es capital de Chile
Si la proteína no cambia de PH y temperatura entonces la proteína no se desnaturaliza

o Proposición contra recíproca q ⇨ p

Consideramos la proposición directa:

p ⇨q : Si Pedro compra un televisor entonces ya no sale de su casa.
q ⇨ p : Si Pedro sale de su casa, entonces no compra un televisor

PROPOSICIÓN BICONDICIONAL

Es otra proposición compuesta que relaciona a dos proposiciones simples mediante el

conectivo “si y solo si” que se simboliza por: p ⇔ q .

En matemática la proposición p ⇔ q se lee:

“p es condición necesaria y suficiente para q” y significa que la proposición q se deduce

lógicamente de la proposición p. también se lee como: “si y sólo si”

El valor de verdad de la proposición bi-condicional se muestra en la siguiente tabla

pq p⇔q
VV V
VF F
FV F
 MATEMATICA I

FF V
Ejemplos

1. La reproducción sexual se da si y sólo si intervienen un macho y una hembra

2. Viajarás si y sólo si te esfuerzas en tus estudios
3. La tierra es redonda si y sólo si el sol es un astro.

TABLAS DE VERDAD PARA PROPOSICIONES COMPUESTAS

Las tablas de verdad para proposiciones complejas pueden ser determinadas utilizando las
definiciones ya establecidas, teniendo en cuenta las siguientes reglas:

1. Se hace uso de los signos de agrupación (paréntesis, corchetes y llaves)

Por ejemplo:
[ p ˅(q ˄ r )] ⇨ (s ˅ t )
Par este caso, el conectivo de mayor jerarquía es “⇨”
2. Si no hubiese signos de agrupación, se tendrá en cuenta que al conectivo conjuntivo se
le da el valor de mayor peso.; a los otros signos se les da el valor de menor peso.
3. Las proposiciones compuestas toman el nombre del conectivo de mayor jerarquía o el
de la negación. Si este es el caso. A este tipo de proposiciones se les denomina
esquemas o argumentos. Como se muestra a continuación:

4.