Llueve: p; No llueve: ¬ p