ตรรกศาสตร์ คณิตศาสตร์ ม.4(ชุดรวม

(p→ q) /\ (r V ~p) → [p (→ q → r)] [(p → q) /\ (p→ r)] ↔ [p→ (q /\ r)] [~p V (q /\ r)] ↔ [p→ (q → r)] [p /\ (~q /\ ~r)] V [(p → q) V r]

(p → q) ↔ (p /\ ~q) (p ↔ q) ↔ (~p → q) [(p /\ q) → r] <-> [p → (q → r)] [~p /\ ~q] ↔ [~p V ~q]

(~p → ~q) → (p → q) (p→ q) → (~q -> ~p) [(p→ r) /\ (q→ r)] ↔ [(p V q) →r] [p /\ (p V q)] →p

ถ้านกมีหู แล้วหนูมีปีก ถ้านกมีหู แล้วหนูไม่มีปีก นกมีหู ก็ต่อเมื่อ หนูมีปีก นกมีหู และ หนูมีปีก

~ (~p) : p p →q : ~p V q p ↔q : (p →q) /\ (q → p) p→q : ~p /\ q