Estoy tratando de entender lo "$p$ implica $q$" significa. He leído que $p$ es una condición suficiente para $q$, e $q$ es una condición necesaria para $p$. Además de Wikipedia,
Una condición necesaria de una declaración que deben ser satisfechas para que la declaración para ser verdad. Formalmente, una declaración de $P$ es una condición necesaria de una declaración de $Q$ si $Q$ implica $P,\quad (Q \Rightarrow P)$.
Una condición suficiente es que, si está satisfecho, asegura el declaración de la verdad. Formalmente, una declaración de $P$ es una condición suficiente de una declaración de $Q$ si $P$ implica $Q,\quad (P \Rightarrow Q)$.
Ahora lo que estoy atascado con es que si $P$ no está satisfecho será la condición siempre es verdadera?