SESIÓN 3

Proposiciones simples y compuestas. Ciclo de Aprendizaje

Tablas de valores de verdad

Guía Teórica - GT
CURSO: Fundamentos de Matemática
Docente: Ruth Yoctún Ríos
Material del curso

Ciclo de Aprendizaje Restaurador: Explica y Explora

 TEMARIO
1 Lógica proposicional
Proposiciones y
2
conectivos
3 Tabla de valores de
verdad
4 Evaluación de una
fórmula lógica
LÓGICA PROPOSICIONAL

La lógica proposicional o
también llamada lógica
matemática estudia las
proposiciones y evalúa su
veracidad o falsedad.

Sé Íntegro, Sé Misionero, Sé Innovador

 Tipos de enunciados
1. Frases o simplemente enunciados:
Exclamaciones, deseos, saludos, preguntas, etc.
¨Toda
proposición es
2. Enunciados abiertos: un enunciado,
También llamada función proposicional. Requiere precisar pero no todo
información para que sea proposición. enunciado es
una
3. Proposición:
Enunciado cuyo valor de verdad puede ser contrastado. Es
proposición.¨
decir, se puede calificad de verdadero (V o 1) o falso (F o 0).

Sé Íntegro, Sé Misionero, Sé Innovador

 Tipos de proposiciones
1. Proposición simple:
Ej. Perú es un país sudamericano.

2. Proposiciones compuestas.
Ej. El Perú es un país sudamericano y de habla
hispana.
El Perú no es un país sudamericano.

Sé Íntegro, Sé Misionero, Sé Innovador

Conectores lógicos

Sé Íntegro, Sé Misionero, Sé Innovador

 Construcción de tablas de verdad

¿Cuántas filas tiene la tabla?

Depende de la cantidad de proposiciones simples diferentes.

• 1 proposición simple
• 2 proposiciones simples distintas
• 3 proposiciones simples distintas
• ¨n¨ proposiciones simples distintas
𝑛
2 =¿ 𝑓𝑖𝑙𝑎𝑠
 2 valores (V o F)
 4 valores de verdad
 8 valores de verdad
2n valores de verdad.
Construcción de tablas de verdad
Las tablas de verdad son
p p q p q r representaciones gráficas,
V V V V V V en forma de arreglos, que
sirven para analizar los
F V F V V F
posibles valores de verdad
21 F V V F V que puede tener una
F F V F F proposición simple o
compuesta.
22 F V V
En general para “n”
F V F proposiciones, se pueden
F F V presentar 2n posibilidades,
las cuales son el número
F F F
de filas de la tabla.
23
 Formalización Lógica

Letras p, q, r, s

Conectores ˄, ˅, , 

Signos de ( ), [ ], { }
agrupación
 La negación
Ejemplo: “Todo número elevado al cuadrado es positivo”

p
p p
Negación: “No todo número elevado al cuadrado es positivo”
V F
p
F V
Nota: Cuando se niega una proposición compuesta, se niega al
operador de mayor jerarquía en dicha proposición.
Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero
q r
Simbología: ( q  r )
 La Conjunción
La conjunción sólo es verdadera
cuando las dos proposiciones
son verdaderas.

Ejemplo: “Jorge viajó a Madrid y Luis viajó a Quito” p  q

p q
V V V

p : Jorge viajó a Madrid V F F

Simbología: “p  q”
q : Luis viajó a Quito
F F V
NOTA: También equivalen al conectivo conjunción las F
F F
palabras: pero, sin embargo, aunque, además, no obstante,
etc.
 La disyunción débil o inclusiva
La disyunción es falsa, sólo si
ambas proposiciones son falsas
Ejemplo: “Eliana viajará a Quito o a Esmeraldas”
p  q
r s

V V V
r : Eliana viajará a Quito
Simbología: “r  s”
s : Eliana viajará a Esmeraldas V V F

F V V

F F F
 La disyunción fuerte o exclusiva
Ejemplo: “O Ricardo vive en Tarapoto o en Lima”
p q
p  q
p : Ricardo vive en Tarapoto
Simbología: “p  q ” V F V
q : Ricardo vive en Lima
V V F
La disyunción fuerte es verdadera, sólo si ambas
proposiciones tienen diferentes valores de verdad. F V V

F F F
 La Condicional
La condicional sólo es falsa,
cuando el antecedente es
verdadero y el consecuente
es falso.

Ejemplo: “Si 12 es un número par entonces es divisible entre 2” p  q

p q
V V V
p : 12 es un número par ……………….… (antecedente)
V F F
q : 12 es un número divisible entre 2 ……(consecuente)
F V V
Simbología: “p → q”
F V F
”
 Notas:
1. Existen otras formas de presentarse el condicional:
p por consiguiente q;
p luego q;
p de manera q; etc.
2. También son expresiones condicionales:
q ya que p; q puesto que p; q siempre que p; q porque p; etc.

Ejemplo
La suma de las cifras de 426 es múltiplo de 3, por consiguiente es divisible entre 3

(antecedente) p (consecuente) q

426 es divisible entre 3 porque la suma de sus cifras es múltiplo de 3

(consecuente) q (antecedente) p

La simbología para ambos casos es: p→q

 La Bicondicional
Ejemplo: “Galápagos es una isla si y sólo si está rodeada de agua”
p q p  q
p : Galápagos es una isla
Simbología: “p ↔ q ”
q : Galápagos está rodeada de agua V V V

V F F
La bicondicional es falsa, sólo si ambas
proposiciones poseen diferentes valores de verdad. F F V

F V F
 Conector Valor de Condición
verdad
« V Si ambos tienen igual valor de
verdad.

D V Si tienen valores diferentes de

EN verdad.

RESUMEN ® F Si el antecedente es verdadero y

el consecuente es falso
Ú F Si ambos son falsos

Ù V Si ambos son verdaderos

~ F Si la proposición es verdadera
 Ejemplo
Si llegas después de las ocho y media, entonces
encontrarás la puerta cerrada y no podrás entrar al
teatro.

p  (q ⋀ ～ r)
 Evaluación de una fórmula lógica
La característica tabular de una fórmula lógica es la columna de
valores de verdad debajo del operador de mayor jerarquía. Esta
columna puede presentar los siguientes casos:

1. Cuando todos los valores de verdad son verdaderos, el esquema

es una TAUTOLOGÍA.

2. Cuando todos los valores de verdad son falsos, el esquema es una

CONTRADICCIÓN.

3. Cuando algunos valores de verdad son verdaderos y otros falsos

el esquema es una CONTINGENCIA.
 Evaluación de una fórmula lógica
Evaluar el siguiente esquema molecular: (p  q)  (p  r)
Solución
p q r (pq)   ( p   r)
V V V V V V V V V F F
V V F V V V V F V V V
V F V V F F V V V F F
Es una
V F F V F F F F V V V contingencia
F V V F F V F F F V F
F V F F F V F F F V V
F F V F F F F F F V F
F F F F F F F F F V V
 Evaluación de una fórmula lógica
Si se conoce que: (q  r)  p es FALSA
Determinar el valor de verdad de: (r  p)  (p  r)
SOLUCIÓN
Primero analizamos la condición (q   r)  p
V V V F F F

Luego de conocer los valores de verdad de cada variable, se

evalúa la fórmula planteada

(  r   p)  (p   r)
V V V F F F V

El valor de verdad de la fórmula planteada es FALSO

22