Please enable JavaScript.
Coggle requires JavaScript to display documents.
OPERADORES LÓGICOS:D1, P: "Está lloviendo.", Q: "El suelo…
OPERADORES LÓGICOS:D1
CONDICIONAL O IMPLICACIÓN
Es un concepto fundamental en la lógica formal y el razonamiento.
Se representa comúnmente con una flecha simple
P→Q
Y se lee como "Si P entonces Q"
Es una conectiva lógica que establece una relación hipotética entre dos proposiciones, un antecedente (P) y un consecuente (Q).
IMPLICACIÓN
Se representa a menudo con una flecha doble: P⇒Q
La implicación lógica no es solo una conectiva. Se dice que una proposición P implica lógicamente a Q (P⇒Q) si y solo si la proposición condicional P→Q es una tautología.
BICONDICIONAL O EQUIVALENCIA
También llamado doble implicación o equivalencia lógica es una proposición compuesta que se denota con el símbolo ↔ o ⇔ y se lee como:
"p si y solo si q"
Ejemplo
"Un número es divisible por 2 si y solo si es par."
Sea p: "El número es divisible por 2" Sea q: "El número es par" Entonces, p ↔ q representa esta afirmación.
Un bicondicional es una proposición que tiene una doble condicionalidad, fijada por las fórmulas que relaciona de manera binaria.
P: "Está lloviendo."
Si está lloviendo, entonces el suelo está mojado
Q: "El suelo está mojado."
Ejemplo
P: "X es un cuadrado."
Q: "X es un rectángulo."
Ejemplo
