Logic 101 (#17): Material Implication
ฝัง
- เผยแพร่เมื่อ 16 ต.ค. 2024
- gametheory101.c...
Material implication is a replacement rule in logic that allows us to swap the implication p (arrow) q with the disjunction ~p v q. Consequently, implications are disjunctions in another form.
For example, the statements "If I am hungry, then I eat" and "I am not hungry or I eat" are logically equivalent.
(Sorry about the lack of arrow--TH-cam apparently prohibits the greater than sign from video descriptions.)