Propositions & logic

Sets & logic・Advanced

Negation and contrapositive, necessary and sufficient conditions, and truth tables.

Choose what to practice.

• Negation and contrapositiveComing soonLearn negation, contrapositives, and indirect proofs.Japanese school year: Math I
• Necessary and sufficient conditionsComing soonLearn necessary, sufficient, and equivalent conditions.Japanese school year: Math I
• Truth tablesComing soonLearn truth tables to evaluate compound propositions.Japanese school year: University year 1