Episode AP05 Introduction to logic

A property : a true implication. If M lays on the perpendicular bisector of AB, then the length AM is equal to the length MB. Episode AP05 Introduction to logic ...
127KB taille 11 téléchargements 314 vues
Episode AP05 Introduction to logic European section, season 1

Episode AP05 Introduction to logic

Proposition – Hypothesis – Conclusion

If it’s snowing then it’s cold.

Episode AP05 Introduction to logic

Converse

If it’s cold then it’s snowing.

Episode AP05 Introduction to logic

Contrapositive

If it’s not cold then it’s not snowing.

Episode AP05 Introduction to logic

A property : a true implication

If M lays on the perpendicular bisector of AB, then the length AM is equal to the length MB.

Episode AP05 Introduction to logic

A property : a true implication

If M lays on the perpendicular bisector of AB, then the length AM is equal to the length MB.

M ∈ med(AB) ⇒ AM = MB

Episode AP05 Introduction to logic

An equivalence

The length AM is equal to the length MB, if and only if M lays on the perpendicular bisector of AB.

Episode AP05 Introduction to logic

An equivalence

The length AM is equal to the length MB, if and only if M lays on the perpendicular bisector of AB.

M ∈ med(AB) ⇔ AM = MB

Episode AP05 Introduction to logic