MATEMÁTICAS

UNIDAD 1 LOGICA MATEMATICA

Tema 1.2.5 Bicondicional y Determinación

de valores de verdad.

Nivelación UG
 INICIO DE ACTIVIDAD

Análisis del operador lógico bicondicional, también conocida como

doble implicación con todas sus características, además determinar los
valores de verdad.
 OBJETIVO

Analizar el operador lógico bicondicional con su respectiva

expresión gramatical, tabla de verdad y simbología.

Determinar valores de verdad de una proposición simple o compuesta

 Bicondicional (Doble implicación)

Este operador lógico se la conoce como doble implicación, donde en este caso tendrá el
valor de verdadero cuando ambas proposiciones sean iguales entre sí, y tendrá el valor
de falso cuando ambas proposiciones tienen valores diferentes entre sí.

Su simbología es: a ↔ b
 TABLA DE VERDAD DE LA BICONDICIONAL
Representada simbólicamente por a ↔ b, es una nueva proposición, cuyo
valor de verdad está dado por la siguiente tabla de verdad:

a b a↔b
0 0 1 La bicondicional será verdadero
solamente cuando ambos valores de
0 1 0 las proposiciones son idénticas entre
1 0 0 sí.
1 1 1
 BICONDICIONAL (DOBLE IMPLICACIÓN)
Los términos gramaticales más comunes usados en la bicondicional son los siguientes:

a si y solo si b
a si y solamente si b
a implica b y b implica a

a↔b
 BICONDICIONAL (DOBLE IMPLICACIÓN)
Ejemplo:

Dada las proposiciones:

a: Un triángulo es equilátero
b: Un triángulo es equiángulo

La bicondicional entre a y b es:

a ↔ b: Un triángulo es equilátero si y solo si es equiángulo.
a ↔ b: Un triángulo es equilátero implica que es equiángulo y un
triángulo equiángulo implica que es equilátero.
Ejemplo: Tabla de verdad de una forma proposicional
[(p ∆ q) ↔ (r → ¬p)]
p q r p∆q ¬p r → ¬p [(p ∆ q) ↔ (r → ¬p)]
0 0 0 0 1 1 0
0 0 1 0 1 1 0
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 0 1 1
1 0 1 1 0 0 0
1 1 0 0 0 1 0
1 1 1 0 0 0 1
 Determinación de valores de verdad
Si las proposiciones simples a, b, c y d tienen los respectivos valores 0,
0, 1, 1, indique el valor de verdad de la siguiente proposición
compuesta.

¬ 𝒂 ꓦ 𝒃 → (𝒄 ꓥ¬𝒅)

¬ 0 ꓦ 0 → (1 ꓥ¬1) 𝑅𝑒𝑒𝑚𝑝𝑙𝑎𝑧𝑎𝑟 𝑣𝑎𝑙𝑜𝑟𝑒𝑠

¬0 → (1 ꓥ0) 𝑅𝑒𝑠𝑜𝑙𝑣𝑒𝑚𝑜𝑠 𝑜𝑝𝑒𝑟𝑎𝑑𝑜𝑟𝑒𝑠
1→0
0
𝐿𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑐𝑜𝑚𝑝𝑢𝑒𝑠𝑡𝑎 𝑡𝑖𝑒𝑛𝑒 𝑢𝑛 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑓𝑎𝑙𝑠𝑜
 Determinación de valores de verdad
Determine el valor de verdad de las proposiciones simples a, b y c, si la
proposición [ 𝑎 ꓥ ¬𝑏 → 𝑐] es Falsa

𝑆𝑒 𝑑𝑒𝑏𝑒 𝑔𝑢í𝑎𝑟 𝑐𝑜𝑛 𝑙𝑜𝑠 𝑜𝑝𝑒𝑟𝑎𝑑𝑜𝑟𝑒𝑠 𝑙ó𝑔𝑖𝑐𝑜𝑠

[ 𝒂 ꓥ ¬𝒃 → 𝒄] ≡ 0 𝑝𝑎𝑟𝑎 𝑝𝑜𝑑𝑒𝑟 𝑎𝑠𝑖𝑔𝑛𝑎𝑟 𝑣𝑎𝑙𝑜𝑟𝑒𝑠

𝑎 ꓥ ¬𝑏 ≡ 1 y c ≡ 0 𝑃𝑜𝑟 𝑙𝑎 𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙 antecedente debe valer 1

y consecuente 0 para que sea falso

𝑎 ꓥ ¬𝑏 ≡ 1 𝑃𝑜𝑟 𝑙𝑎 𝑐𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛 podemos encontrar los

demás valores
𝑎 ≡ 1 𝑦 ¬𝑏 ≡ 1 𝑆𝑖 𝑙𝑎 𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑏 𝑒𝑠 1, 𝑠𝑢 𝑐𝑜𝑛𝑡𝑟𝑎𝑝𝑎𝑟𝑡𝑒 𝑒𝑠 0

𝑃𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 𝑎 = 1, 𝑏 = 0 𝑦 𝑐 = 0
 Actividad asincrónica

Encontrar la tabla de verdad de las siguientes operaciones

𝒑 ꓥ ¬𝒒 → (𝒓 ꓦ 𝒑) 𝒓 ↔ ¬𝒒 ꓦ (𝒑 ꓥ 𝒓)

Determinar los valores de verdad de las proposiciones simples p, q, r y s

𝒑 ꓥ ¬𝒓 → (𝒒 ꓦ 𝒔) ≡ 𝟎

Determinar los valores de verdad de las proposiciones compuesta, conociendo que

p, q y r, tienen los valores 0, 1, 0, respectivamente.

𝒑 ↔ ¬𝒒 → (𝒑 ꓥ 𝒓)
 BIBLIOGRAFÍA
• Fundamentos de Matemática para el Bachillerato, ESPOL. 2° Ed.
• Seymour Lipschutz (1996). “Teoría de Conjuntos y Temas Afines”. 2°
Ed. México. Serie Schaum.
• Joseph H. Kindle (1997). “Algebra Superior” (2ed) Serie Schaum.
México
• Proaño, R. (1996). "Lógica, Conjuntos y Estructuras". 1° Ed. Quito,
Ecuador. Edicumbre
• Sullivan Michael (1996) “Precálculo”. 4° Ed. Pearson, México.