Conditional, if p, then q; p→q, Converse, if q, then p; q→p, Inverse, if not p, then not q; ~p→~q, Contrapositive, if not q, then not p; ~q→~p, ⋃, union, disjunction, or, ⋂, intersection, conjunction, and, Hypothesis, statement following "if", Conclusion, statement following "then", Law of Detachment, If p→q is a true conditional statement and p is true, then q is true., Law of Syllogism, If p→q and q→r are true conditional statements, then p→r is true., Counterexample, specific case for which a conjecture is false, ∴p, therefore p

Logic

由
打印
嵌入

排行榜

我们目前正在努力改进排行榜功能。请通过提供您的反馈来帮助我们。

提供反馈

视觉风格

选项

我们目前正在改进活动设置。请通过反馈帮助我们。

提供反馈

切换模板

恢复自动保存：？