Doble Implicacion
Doble Implicacion
Doble Implicacion
C.U.A.M
Profesora: Alumna :
CI:25.829.368
Contaduria 29
F V F
El operador en lógica de conjuntos equivalente a la doble
F F F implicación es el doble contenido o igualdad de conjuntos.
Ejemplos
Nótese la diferencia entre las dos proposiciones siguientes:
Una persona es mayor de edad si posee legalmente el carné de conductor. O bien,
Una persona es mayor de edad si y solo si posee legalmente el carné de conductor.
La primera proposición es correcta, puesto que es imposible poseer legalmente el carné
de conducir siendo menor de 18 años. Por tanto, si se tiene el carné, se tiene que ser
obligatoriamente mayor de edad.
La segunda es incorrecta, puesto que la relación entre "tener el carné de conducir" y "ser
mayor de edad" no es bicondicional. Dicho de otro modo: se puede ser mayor de edad sin
tener el carné de conducir.
Las oraciones condicionales expresan una condición para que se cumpla la acción
principal.
Las oraciones bicondicionales son aquella es donde una condición se cumple si primero
se cumple otra condición
Oraciones Bicondicionales
- Un vehículo tiene cuatro ruedas si y solo sí un camión puede tener 6 ruedas.
- En una casa hay jardín si y solo sí esa casa es habitada por una familia.
- Toda multiplicación cumple con la propiedad conmutativa si y solo si esta tiene un
elemento neutro.
- Una razón es una división si y solo sí una fracción es una división.
- De las nubes brota la lluvia si y solo si este proceso es producto ciclo del agua.
- El sistema solar lo componen 9 planetas, si y solo sí todos los planetas tienen satélites.
Conclusión