Implicación y Sii
Los símbolos son 
y
Implicación:
Una implicación dice "si ... entonces"
Ejemplo:
Si a y b son números impares entonces (a+b) es par
Se puede escribir como:
tanto a como b son números impares
(a+b) es par
La razón por la que apunta a la derecha es que podría no ser cierto al revés
Ejemplo:
El hecho de que (a + b) sea par no significa que a y b sean impares (ambos pueden ser pares)
Sii:
Sii dice "si y solo si"Es una implicación que va en ambos sentidos.
Nota: en nuestro idioma, a veces también se usa la abreviación "ssi".
Ejemplo:
x + y = 3
x = 3 − y
¡Ésa es verdadera en ambos sentidos!
Ejemplo:
a y b son ambos enteros.
Si uno de a y b es impar y el otro es par entonces (a+b) es impar. Esto puede escribirse como:
Uno de a y b es impar y el otro
es par (a+b) es impar
En este caso, va en ambos sentidos, porque si (a+b) es impar y a y b son enteros, entonces uno de ellos debe ser impar y el otro par.
¡Intenta resolver las siguientes preguntas sobre este tema! (Nota: están en inglés).
