Semana N°:______________________ p⋁q:

Clase:____________________________ ________________________________________
Fecha:____________________________ p⋀q:
Grado :___________________________ _______________________________________

Propósitos: r: La paloma es un ave s: La paloma tiene alas

1. Reconocer expresiones del lenguaje que pueden r⇒s:
ser proposiciones y clasificarlas. ________________________________________
2. Identificar conectores lógicos y sus valores de
verdad. t: Gabriel va al paseo u:Gabriel tiene dinero
3. Resolver situaciones cotidianas con lógica
t⇔u:
proposicional
_______________________________________
Proposiciones compuestas o moleculares: Se
obtienen al unir o juntar dos o más proposiciones
Valor de verdad de una proposición compuesta:
simples con palabras como o, y, si...,
Se obtiene con la ayuda de una tabla de verdad,
entonces,...,...si y solo si... o anteponiendo a una
donde se representan todas las posibles
proposición simple la palabra no, estas expresiones
combinaciones del valor de verdad de las
reciben el nombre de conectivos, conectores o
proposiciones simples que la forman. Al igual que
enlaces lógicos.
las proposiciones simples estas también tienen un
Las proposiciones compuestas si las podemos
único valor de verdad veamos.
descomponer o dividir en varias expresiones u
Sea la proposición compuesta p º q ¿Cuál será su
oraciones que a la vez sean proposiciones
valor de verdad?
(proposiciones simples)
Ejemplos:
La proposición p puede ser verdadera o falsa al
a.
igual que la proposición q. Analicemos las
_______________________________________
combinaciones posibles entre los valores de p y q
b.
esto es:
________________________________________
Que p sea verdadera y q sea verdadera
ENLACES, CONECTIVOS O
Que p sea verdadera y q sea falsa
CONECTORES LOGICOS
Que p sea falsa y q sea verdadera
Nombre lógico o Símbolo o
Que p sea falsa y q sea falsa
Conectivo denominación representació
n
p Q pºq
No... Negación – ~ ¬
V V
... y... Conjunción ⋀ V F
... o ... ⋁ F V
incluyente Disyunción F F
... o ... ⋁
excluyente Diferencia Con dos proposiciones suceden siempre sólo las
simétrica cuatro (4) combinaciones anteriores de sus valores
Implicación o ⇒ de verdad. Para hallar el valor de verdad de la
Si..., condicional proposición compuesta p º q debemos usar los
entonces... conectivos lógicos así:
Doble ⇔ LA CONJUNCION (⋀ = y): Es el resultado de
... si y solo si... implicación,
unir dos proposiciones simples con el conectivo
bicondicional o
equivalencia lógico y (p ⋀ q). La conjunción sirve para indicar
Los puntos suspensivos indican que allí van las que se cumplen dos condiciones simultáneamente.
proposiciones. Simbólicamente, la tabla de verdad de la
Ejemplos: conjunción se representa así:
Traduce los siguientes símbolos: p Q p ⋀ q
P: Está lloviendo q: Hace V V V
frío V F F
F V F
 F F F Cada una de las proposiciones es condición
La conjunción solo es verdadera cuando ambas necesaria y suficiente para la otra.
proposiciones son verdaderas de lo contrario es Simbólicamente la tabla de verdad del
falsa. bicondicional es:
Ejemplos: p q p ⇔q
_______________________________________ V V V
________________________________________ V F F
F V F
LA DISYUNCION (V = O): Es el resultado de
F F V
unir dos proposiciones simples con el conectivo o.
Las implicaciones dobles o bicondicionales son
En otras palabras la disyunción solo es falsa cuando
verdaderas solo si ambas proposiciones son
las dos proposiciones son falsas, de lo contrario es
verdaderas o si ambas son falsas, de lo contrario es
verdadera. Veamos la tabla de verdad de la
falsa.
disyunción:
Ejemplos:
p q p ⋁q
V V V PROPIEDADES DE LAS OPERACIONES
V F V CON PROPOSICIONES
F V V 1. La negación de una proposición es la misma
F F F
proposición, por lo tanto: ¬ (¬ p) ⇔ p
La disyunción es verdadera si solo si una de las dos
Ejemplos:
proposiciones es verdadera, o cuando ambas son
No es cierto que 2 no es un número entero (Z)
verdaderas.
equivale a 2 es un número entero (Z).
Ejemplos:
Ej:
________________________________________
________________________________________
________________________________________
2. La conjunción de proposiciones es asociativa,
IMPLICACION O CONDICIONAL (⇒): Es el
por lo tanto: (p ⋀ q) ⋀ r ⇔ p ⋀ (q ⋀ r)
resultado de unir dos proposiciones simples con el
Ejemplos:
conectivo lógico si...entonces..., se denota así: p
[(10 > 5) ⋀ (5 > 2) ] ⋀ (2 > 0), equivale a:
⇒ q y se lee si p entonces q.
(10 > 5) ⋀ [(5 > 2) ⋀ (2 > 0) ]
La primera proposición (p) se llama antecedente y Ej:
la segunda (q) consecuente de la implicación ________________________________________
3. La disyunción de proposiciones es asociativa,
Simbólicamente, la tabla de verdad de la por lo tanto: (p ⋁ q) ⋁ r ⇔ p ⋁ (q ⋁ r)
implicación es: Ejemplos:
p q p ⇒q “(Luís trabaja o duerme) o se divierte”.
V V V Tiene equivalente significado que:
V F F “Luís trabaja o (duerme o se divierte)”
F V V Ej:
F F V ________________________________________

4. La disyunción de proposiciones es distributiva

La implicación solo es falsa cuando la primera
respecto de la conjunción, por lo tanto:
proposición es verdadera y la segunda es falsa, de
lo contrario es verdadera. [(p ⋀ q) ⋁ r] ⇔ [(p ⋁ r) ⋀ (q ⋁ r)]
Ejemplos: Ejemplos:
________________________________________ “Luís estudia y trabaja o está de vacaciones”.
________________________________________ Es equivalente a:
DOBLE IMPLICACION, BICONDICIONAL “(Luís estudia o está de vacaciones) y (Luís trabaja
o está de vacaciones)”.
O EQUIVALENCIA (⇔ =...si y sólo si...): Es el
Ej:
resultado de unir dos proposiciones simples con el
________________________________________
conectivo lógico ...si y solo si... Se denota así:
p ⇔ q, y se lee p si y solo si q.
5. La conjunción de proposiciones es distributiva
respecto de la disyunción, por lo tanto:
[(p ⋁ q) ⋀ r] ⇔ [(p ⋀ r) ⋁ (q ⋀ r)]
Ejemplos:
“Luís estudia o trabaja y descansa”.
Es equivalente a:
“(Luís estudia y descansa) o (Luís trabaja y
descansa)”.
Ej:
________________________________________
____

6. La negación de una conjunción es la conjunción

de las negaciones por lo tanto: ¬ (p ⋀ q) ⇔ (¬
p ⋁ ¬ q)
Ejemplos:
¬ [(2 ≠ 1 + 1) o (2 < 0)], equivale a:
(2 = 1 + 1) y (2 > 0)
Ej:
________________________________________
____

7. La negación de una disyunción es la conjunción

de las negaciones por lo tanto: ¬ (p ⋁ q) ⇔
(¬ p ⋀ ¬ q)
Ejemplos:
¬ [(5 ≠ 3 + 2) o (5 < 0)], equivale a:
(5 = 3 + 2) y (5 > 0)
Ej: _____________________________________