Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proposiciones. Una proposición es un enunciado del cual se puede afirmar si es verdadero o falso, pero no las dos cosas a
la vez. Por esta razón las preguntas, las órdenes y las exclamaciones no son proposiciones.
Ejemplos de proposiciones verdaderas.
• 5 es un número impar
• 2 es un número par
Ejemplos de proposiciones falsas.
• 14 es un número impar
•2=5
Ejemplos de expresiones que no son proposiciones.
• 73
• 2𝑥 + 3 = 5
Proposiciones simples. Una proposición simple es aquella que se forma sin utilizar términos de enlace. Las proposiciones
simples se representan mediante letras minúsculas como puede ser 𝑝 𝑜 𝑞.
Proposiciones compuestas. Una proposición compuesta es aquella que se forma a partir de dos o más proposiciones
simples que se relacionan mediante enlaces denominados conectivos lógicos.
Conectivos lógicos. Los conectivos lógicos son los términos de enlace que se utilizan para formar proposiciones
compuestas. Cada conectivo lógico se simboliza de una manera diferente y define una operación lógica según la función
que cumple. Los conectivos lógicos son:
Conectivo lógico Operación lógica Símbolo Notación Lectura
No Negación ∼ ∼𝑝 No 𝑝
y Conjunción ∧ 𝑝∧𝑞 𝑝𝑦𝑞
o Disyunción ∨ 𝑝∨𝑞 𝑝𝑜𝑞
Si… entonces … Condicional ⇒ 𝑝⇒𝑞 𝑆𝑖 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞
Si y solo si Bicondicional ⇔ 𝑝⇔𝑞 𝑝 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑞
Conjunción. La conjunción es una proposición compuesta que se forma al enlazar dos o más 𝑝 𝑞 𝑝∧𝑞
proposiciones simples mediante el conectivo lógico “y”. V V V
Una conjunción es verdadera cuando las dos proposiciones simples que la conforman son verdaderas. En V F F
la tabla de verdad se muestran los posibles valores de verdad para una conjunción formada por dos F V F
proposiciones simples 𝑝 𝑦 𝑞. F F F
Disyunción. La conjunción es una proposición compuesta que se forma al enlazar dos o más 𝑝 𝑞 𝑝∨𝑞
proposiciones simples mediante el conectivo lógico “o”. V V V
Una disyunción es falsa cuando las dos proposiciones simples que la conforman son falsas. En la tabla de V F V
verdad se muestran los posibles valores de verdad para una disyunción formada por dos proposiciones F V V
simples 𝑝 𝑦 𝑞. F F F
Condicional. El condicional es una proposición compuesta que se forma al enlazar dos proposiciones 𝑝 𝑞 𝑝⇒𝑞
simples mediante el conectivo lógico “si… entonces…”. V V V
En un condicional 𝑝 ⇒ 𝑞, la primera proposición simple 𝑝 es el antecedente y la segunda proposición V F F
simple 𝑞 es el consecuente. En la tabla de verdad se muestra que el condicional es falsa cuando el F V V
antecedente es verdadero y el consecuente es falso. F F V
Bicondicional. El bicondicional es una proposición compuesta que se forma al enlazar dos 𝑝 𝑞 𝑝⇔𝑞
proposiciones simples mediante el conectivo lógico “si y solo si”. V V V
Un bicondicional 𝑝 ⇔ 𝑞 es verdadera cuando ambas proposiciones simples 𝑝 𝑦 𝑞 son verdaderas o V F F
cuando ambas proposiciones son falsas, como se muestra en la tabla de verdad. F V F
F F V
𝑝 𝑞 ∼ 𝑝 ∼ 𝑞 𝑝 ∧ 𝑞 ∼ (𝑝 ∧ 𝑞) ∼ 𝑝 ∨∼ 𝑞 ∼ (𝑝 ∧ 𝑞) ⇔∼ 𝑝 ∨∼ 𝑞
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V
c) La proposición ∼ 𝑞 ⇒∼ 𝑝 es una contingencia puesto que tiene valores de verdad falsos y verdaderos.
𝑝 𝑞 ∼𝑝 ∼𝑞 𝑝⇒𝑞 ∼ 𝑞 ⇒∼ 𝑝
V V F F V V
V F F V F F
F V V F V V
F F V V V V
Cuantificadores. Un cuantificador es una expresión que indica la cantidad de elementos que cumplen una proposición.
Los principales cuantificadores son el cuantificador universal “para todo” que se simboliza ∀ y el cuantificador existencial
“existe algún” que se simboliza ∃.
Para negar una proposición con cuantificador universal se utiliza el cuantificador existencial y para negar una proposición
con cuantificador existencial se utiliza el cuantificador universal.
Negación cuantificador universal: ~(∀𝑥 ∈ 𝐴: 𝑃(𝑥)) ⇔ ∃𝑥 ∈ 𝐴: ~𝑃(𝑥)
Negación cuantificador existencial: ~(∃𝑥 ∈ 𝐴: 𝑃(𝑥)) ⇔ ∀𝑥 ∈ 𝐴: ~𝑃(𝑥)
Actividad No. 1
1. Escribe al frente si cada una de las siguientes oraciones son o no una proposición:
A. 5 + 7 = 12
B. Tenga un feliz día.
C. Santiago es la capital de Chile.
D. ¿Habla usted inglés?
E. 15 es un número primo.
F. ¿Quién rompió el vidrio?
G. Las aguas marinas no son saladas.
H. ¡Hola!
2. Escribe PS si es proposición simple, PC si es proposición compuesta o NP si no es proposición:
A. Cuatro es un número par.
B. Ocho es un número primo.
C. ¡Arriba la promoción!
D. Adela no irá al cine.
E. El átomo es la mínima parte de la materia.
F. Luis aprobará si y solo si estudia mucho.
G. El pentágono es un polígono de cinco lados.
H. Diego no es abogado.
I. Si 3 + 5 = 8, entonces 2(3 + 5) = 16.
J. Andrea irá al gimnasio el martes en la tarde.
K. Sergio practica fútbol y karate.
L. El elefante es un paquidermo.
B. (𝑞 ∧ ~𝑞) ⇒ (𝑝 ∨ 𝑞)
C. ~(𝑝 ⇒ 𝑞) ⇔ (𝑝 ∧ 𝑞)
E. [𝑝 ∧ (𝑝 ⇒ 𝑞)] ⇒ 𝑝
F. [(~𝑝 ⇒ 𝑞) ∧∼ 𝑝] ∧ (∼ 𝑞 ⇒ 𝑝)
6. Acertijo de Einstein
Tenemos 5 casas de cinco colores diferentes y en cada una de ellas vive una persona de una nacionalidad
diferente. Cada uno de los dueños bebe una bebida diferente, fuma una marca de cigarrillos diferente y tiene una
mascota diferente. Tenemos las siguientes claves:
El británico vive en la casa roja.
El sueco tiene un perro.
El danés toma té.
La casa verde está a la izquierda de la blanca.
El dueño de la casa verde toma café.
La persona que fuma Pall Mall tiene un pájaro.
El dueño de la casa amarilla fuma Dunhill.
El que vive en la casa del centro toma leche.
El noruego vive en la primera casa.
La persona que fuma Brends vive junto a la que tiene un gato.
La persona que tiene un caballo vive junto a la que fuma Dunhill.
El que fuma Bluemasters bebe cerveza.
El alemán fuma Prince.
El noruego vive junto a la casa azul.
El que fuma Brends tiene un vecino que toma agua.
La pregunta:
¿Quién es el dueño del pececito?