ENUNCIADO: Es toda frase u oración que informa, expresa o

dictamina alguna idea a través de afirmaciones o negaciones,

preguntas, expresiones de emoción o de saludo, órdenes,
etc.
Ejemplos:
- Carlos es ingeniero.
- ¿Cómo te llamas?
- X+8=25
- Miguel Grau nació en Chile.
- ¡Socorrro!
ENUNCIADO ABIERTO: Es un enunciado en forma de expresión
matemática con variable o incógnitas que no es verdadero ni falso.
Ejemplos:  x<8  x + 2 = 10
 a+b=1  a² + b² = c²
PROPOSICIÓN LÓGICA (enunciado cerrado): Es un enunciado
informativo que admite la posibilidad de ser Verdadero (V) o Falso (F),
pero no ambos a la vez.
La veracidad o falsedad de una proposición se denomina “Valor de
verdad de la proposición”.
 OTROS EJEMPLOS DE
PROPOSICIONES
- 5+8<15
- Cristobal Colón descubrió América.
- Miguel Grau es un héroe Chileno.
- 19>5*7
- Edward es un lindo docente.
- Pedro Castillo es ingeniero y
presidente del Perú.
 NO SON PROPOSICIONES
- ¿Qué hora es?
- ¡Silencio Carlos!
- Me gusta el color azul.
- Me gusta el arroz con pollo.
- X+9=24
- X>11
PROPOSICIÓN SIMPLE, NO COLIGATIVA O ATÓMICA: Es aquella
que contiene una sola afirmación (transmite una sola idea). Se
simboliza con las letras p, q, r, s, t, …. a las que llamaremos
variables proposicionales.
Ejemplos:

p: 7 + 8 < 18 p≡

q: Miguel Grau es un héroe Chileno. q≡

r: 3*5 > 58 r≡
• PROPOSICIONES COMPUESTAS, COLIGATIVA O MOLECULAR:
Son aquellas que están formadas por dos o más proposiciones
simples o es la negación de una proposición simple. Nos
representan dos o más ideas. Se unen mediante los conectores
lógicos.
Ejemplo:
Pedro Castillo es presidente del
Perú y de profesión docente.
p: Pedro Castillo es presidente del Perú
q: Pedro Castillo es de profesión docente.

Conectivo lógico: y
LOS CONECTIVOS LÓGICOS

Son palabras que permiten relacionar dos

proposiciones o negar una proposición simple.
Cuando se les representan por símbolos se les
llama operadores lógicos.
PROPOSICIONES
COMPUESTAS
 Tablas de verdad
• Nos permiten calcular los valores de
verdad de los esquemas lógicos.
• Cantidad de valores de una tabla de
verdad:
Cv=2n
n: cantidad de
proposiciones(letras)
 Ejemplos:
p q r

p q V V V

V V V V F
V F V
V F
V F F
F V
F V V
F F
F V F
Cantidad de valores: F F V
F F F

Cv= =4 Cantidad de valores:

Cv= =8
La negación
Es un tipo de proposición compuesta en la que se afirma que algo no
existe, que no es verdad, o que no es como alguien cree o afirma, cuyo
símbolo es “~”.

Para negar una proposición

se le antecede el conectivo
no, o equivalente a él.
La conjunción
Es un enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “y”, cuyo símbolo es “˄”.

Esta proposición solo es

verdadera cuando las dos
proposiciones que la forman
son verdaderas, y en los
demás casos será falsa.
La disyunción inclusiva o débil
Es un enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “o”, cuyo símbolo es “v”.

Esta proposición es falsa

únicamente cuando las dos
proposiciones que la forman
son falsas, en caso contrario
es verdadera.
La condicional
Es un enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “Si … entonces ….”, cuyo símbolo es “→”.
La parte que aparece después de la palabra “Si”, se denomina
antecedente y la que aparece después de “entonces”, se le llama
consecuente.

Una condicional solo es

falsa cuando su
antecedente es verdadero
y el consecuente es falso;
en lo demás casos la
condicional es verdadera.
La bicondicional
Es un enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “…. si y solo si ….”, cuyo símbolo es “↔”.

Esta solo es verdad cuando

las dos proposiciones que la
forman ambas sean
verdaderas o ambas falsas.
En caso contrario la
bicondicional es falsa.
La disyunción exclusiva o fuerte
Es un enunciado compuesto en el que dos proposiciones se relacionan
con el conectivo “O … o … “ cuyo símbolo es “Δ”.

Ejemplo

O Vas a jugar al fútbol o vas a pasear al parque.

p  q
Esta solo es verdad cuando
V F V las dos proposiciones que
la forman son de diferente
V V F
valor . En caso sean
F V V iguales es falsa.

F F F