#law of excluded middle #p or not p #always true #necessary truth #logical form