Contrapositive - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki
tags:
🌱
AI
ComputerScience
date: 10--Mar--2023
Contrapositive
If something in A then it must be in B
$$A \implies B$$
It is also clear that anything that is not within B (the blue region) cannot be within A, either. This statement, which can be expressed as:
$$\lnot B \implies \lnot A$$
!Pasted image 20230310003755.png
