In questo episodio vedremo come viene usata l'implicazione nella logica matematica