Logica de Proposiciones

Lógica de Proposiciones
Lic. Verónica Loaiza Quilla

La Lógica
Es una ciencia que estudia la forma del razonamiento por medio de
métodos o procedimientos que aplican definiciones, leyes o reglas con el
propósito de determinar si un argumento es válido.
La lógica proposicional estudia la inferencia: Inferir es extraer la

conclusión a partir de sus premisas.
Ejemplo
Si Juan estudia entonces aprobará el examen.
Juan no aprobó el examen entonces podemos inferir que no estudio

Proposiciones
Una proposición es un enunciado que tiene la propiedad fundamental de ser
verdadera (V) o falsa (F) pero nunca ambas simultáneamente.
Por ejemplo:
 Cesar Vallejo nació en París
 25 es un número impar.
 6 + 5 = 10
 Rosa tiene 15 años

No son Proposiciones
Aquellos enunciados que indican una pregunta, una orden o una
exclamación.
Por ejemplo
NO SON PROPOSICIONES
 Pare inmediatamente!
 ¿15 y 18 tienen la misma
cantidad de divisores?.
 En realidad, ¿a qué se refiere?.
 Lávalo
 ¡ Qué hermosos son tus ojos !
 ¿lloverá mañana?
 Haz esto por favor
Proposicione
s
¿Cuáles de los siguientes enunciados son
proposiciones?
(Explica por qué lo son o no lo son)
1) “ El trabajo en grupo es lo más fácil que existe”.

2) “ 2 es divisor de 15”.
3) “ ¿Fuiste a la manifestación del sábado?”.
4) “ El aula A1 de USMP tiene más de 50 mts. cuadrados”.
5) “x+3 es un entero positivo”.
6) “ Tranquilícese”.
Simbología de una proposición
Una proposición se representa simbólicamente por letras minúsculas

tales como:
p, q, r, s, etc.
Ejemplos:
 p: La COVID-19 es una enfermedad causada por el coronavirus

 q: El conjunto vacío no tiene ningún elemento
 r: 5-2<6-7
Valor de verdad
Si p es una proposición su valor de verdad es verdadera (V) o falsa (F) y se

denota:
V(p)=V ó V(p)=F
Ejemplos:
 p: La COVID-19 es una enfermedad causada por el coronavirus V(p)=V

 q: El conjunto vacío no tiene ningún elemento V(q)=V
 r: 5-2<6-7 V(r)=F
Clases de proposiciones
1. Proposiciones Simples
María estudia
Antonio viaja Cuzco
2. Proposiciones compuestas
Conjunto de dos o más proposiciones simples las cuales se
relacionan mediante los conectivos lógicos
María estudia y trabaja
Antonio viaja a Cuzco o viaja a Moquegua

Conectivos lógicos
Conectivos lógicos u operadores
proposicionales:
1.1 Simple: Usa la partícula: No, jamás, nunca, ni sub, etc
1.2. Compuesta: no es cierto que, no es el caso que, es falso que, no

es verdad que, es imposible que, no es que, etc.
Ejemplo
2. La Conjunción ( p  q )
La conjunción de p y q es la proposición “p y q” que se denota por
“p  q”.
La conjunción es verdadera, únicamente cuando ambas proposiciones que
la componen son verdaderas.
Ejemplo:
 Juan es médico y Pablo es deportista
 Paco y Ronald son maestros
 Sea p: “2 divide a 68”
q: “2 divide a 25”.
p  q : “ 2 es divisor de 68 y de 25”.
Obs En el lenguaje coloquial se emplea como sinónimo de “y” las
expresiones sino, además, mas, pero, no obstante, empero, también, a
la vez, aun cuando, sin embargo, aunque, a pesar de, etc.
Ejemplo:
 Juan tiene diez años también Elizabeth
 Benito perdió tanto dinero como Víctor.
 16 es múltiplo de 3, pero 5 es mayor que 3.
 Fernando Belaunde fue un político pero honesto
 A la vez sale el sol aun cuando llueve

Tabla de Verdad
p q pq
V V V
V F F
F V F
F F F
Sea p: “2 divide a 68”

 q: “2 divide a 25”.
p  q : “ 2 es divisor de 68 y de 25”.
3. LA DISYUNCIÓN (pq)
3.1 Disyunción Débil (): O inclusiva vincula dos o mas
proposiciones mediante el conectivo “o” se lee: “p o q”, que se denota
por “p  q”.
La disyunción es falsa, únicamente, cuando ambas proposiciones son

falsas.
Ejemplo:
 Juan arregla su cuarto o Rocío baila.
 La historia describe o explica

Tabla de verdad
p q pq
V V V
V F V
F V V
F F F
3.2 Disyunción Fuerte ( )
p q p q
V V F
V F V
F V V
F F F
4. LA CONDICIONAL ( p 
q)
Establece una relación de dependencia entre las proposiciones que se
vinculan mediante el conectivo “ Si… entonces … “
pq
Hipótesis  Tesis
Antecedente  Consecuente
Premisa  Conclusión
Ejemplo:
 Si estudio entonces apruebo. pq
 Como baile mucho, me canse pq
En el lenguaje coloquial son sinónimos del condicional las palabras:
Siempre que p, q
Dado que p , q
p por lo tanto q
p es suficiente para q
p luego q
p implica q
P se concluye q
P en consecuencia q
p así que q
Si p, q
p sólo si q
q es necesaria para p
q se deduce de p
Tabla de verdad
p q pq
V V V
V F F
F V V
F F V
5. La Bicondicional ( p  q)
Se vinculan mediante el conectivo “ si y solo si” y se escribe p  q
Es verdadera cuando p y q tienen los mismos valores de verdad,
Ejemplo
 Puedes titularte si y solo si estás expedito
 N es par si y solo si es , múltiplo de dos.

Tabla de verdad
p q p q
V V V
V F F
F V F
F F V
Determinar el valor de verdad de
cada una de las siguientes
proposiciones
• 1. Lima está en Chile o la Paz está en Ecuador
• 2. La UNSA está en Arequipa o está en Lima
• 3. Si 5+2=7 entonces 3+6=9
• 4. Si 4+5=9 entonces 5-1=3

• Si p y r son proposiciones verdaderas y q es falsa
,determine el valor de verdad de :
• a) [ ( p ∧ ∼ q ) v ∼ r ] ⇒ q
• b) [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r
• c) [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r ]
Evaluación de los esquemas
moleculares mediante tablas de
verdad
Una vez formados los esquemas moleculares se aplican las tablas de
valores para decidir su validez.
La evaluación comienza con los conectivos de menor jerarquía,

ascendiendo a los de mayor jerarquía, hasta culminar con el conectivo
principal, que es donde va el resultado
Ejemplos
Tautología y contradicción
Una tautología es una proposición compuesta que
es verdadera para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p  p
“ Soy un hombre o no soy un hombre”
Una contradicción es una proposición compuesta que

es falsa para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p  p
“Soy un hombre pero no soy un hombre”
Ejercicios
1) Halla los valores de verdad de las proposiciones si sabes que
p  q es falsa.
a) p  q b) q  p c) p  p d) p  q
Piensa un rato y justifica tus respuestas
2) Halla los valores de verdad de p, q, r, s, t para que

(pq)r  (st) sea falsa
3) Construye una tabla de verdad para cada una de las

proposiciones
a) ( p  ¬q )  q
b) ( p  q )  ( p  q ) ¿Cuáles de estas proposiciones
c) q  (¬p  ¬q) es una tautología?
¿Puedes construir una
contradicción a partir de alguna de
ellas? ¿Cuál?
Formalización
5) Sean p: “El mensaje es revisado para buscar algún virus”
q: “ El mensaje fue enviado desde un sistema desconocido”
Expresa las siguientes proposiciones usando p, q y los

conectivos.
a) El mensaje se revisa para buscar algún virus siempre que se haya

enviado desde un sistema desconocido.
b) El mensaje fue enviado desde un sistema desconocido pero no

revisó para buscar ningún virus.
c) Cuando el mensaje no es enviado desde un sistema desconocido

no se revisa para buscar ningún virus.
d) El mensaje fue enviado desde un sistema desconocido pero no se

reviso para buscar ningún virus.

Logica de Proposiciones

Cargado por

Copyright:

Formatos disponibles

Logica de Proposiciones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica de Proposiciones

Cargado por

Copyright:

Formatos disponibles

Lógica de Proposiciones

Lic. Verónica Loaiza Quilla

La lógica proposicional estudia la inferencia: Inferir es extraer la

Si Juan estudia entonces aprobará el examen.

Juan no aprobó el examen entonces podemos inferir que no estudio

 Rosa tiene 15 años

1) “ El trabajo en grupo es lo más fácil que existe”.

Una proposición se representa simbólicamente por letras minúsculas

 p: La COVID-19 es una enfermedad causada por el coronavirus

Si p es una proposición su valor de verdad es verdadera (V) o falsa (F) y se

 p: La COVID-19 es una enfermedad causada por el coronavirus V(p)=V

Antonio viaja a Cuzco o viaja a Moquegua

1.2. Compuesta: no es cierto que, no es el caso que, es falso que, no

 Paco y Ronald son maestros

 Sea p: “2 divide a 68”

 Benito perdió tanto dinero como Víctor.

 16 es múltiplo de 3, pero 5 es mayor que 3.

 Fernando Belaunde fue un político pero honesto

 A la vez sale el sol aun cuando llueve

Sea p: “2 divide a 68”

La disyunción es falsa, únicamente, cuando ambas proposiciones son

 La historia describe o explica

Es verdadera cuando p y q tienen los mismos valores de verdad,

 N es par si y solo si es , múltiplo de dos.

• 2. La UNSA está en Arequipa o está en Lima

• 3. Si 5+2=7 entonces 3+6=9

• 4. Si 4+5=9 entonces 5-1=3

La evaluación comienza con los conectivos de menor jerarquía,

Una contradicción es una proposición compuesta que

2) Halla los valores de verdad de p, q, r, s, t para que

3) Construye una tabla de verdad para cada una de las

Expresa las siguientes proposiciones usando p, q y los

a) El mensaje se revisa para buscar algún virus siempre que se haya

b) El mensaje fue enviado desde un sistema desconocido pero no

c) Cuando el mensaje no es enviado desde un sistema desconocido

d) El mensaje fue enviado desde un sistema desconocido pero no se

También podría gustarte