Logical connectives (AND, OR, NOT, implies, iff)
Mathematical logic · Mathematics
Study notes
Q: p: 'It rains', q: 'I carry an umbrella'. Write (a) p → q, (b) ¬p ∨ q in words. (a) p → q: 'If it rains, then I carry an umbrella.' (b) ¬p ∨ q: 'It does not rain, or I carry an umbrella.' These are equivalent! (Implication law.)