Page 12 - Matematicas2_cap1

D. Doble implicación, bicondicional o equivalencia (↔)

Dadas dos proposiciones p y q, la proposición compuesta, se llama proposición bicondicional y se
simboliza como p ↔ q.
La interpretación del enunciado es:

«si p, entonces q y si q, entonces p».
La proposición bicondicional es verdadera cuando ambas proposiciones son verdaderas o ambas
proposiciones son falsas.

p: -3(-2) > 5 (V) Ejemplo 1.14
q: -3(-2) = 6 (V)

-3(-2) es mayor que 5 si y solo si p q p q
-3(-2) es igual a 6. V V V
V F F
p ↔ q, se lee: «p si y solo si q».
F V F
Al interpretar en una tabla de verdad: F F V

Actividad 1.1 Completa el diagrama radial para tablas de verdad y
los operadores:

Disyunción:

Conjunción:

Tablas de
verdad de los
operadores Ejemplos de
cada uno:

Bicondicional:

Condicional:

18 CAPÍTULO 1 MATEMÁTICAS