Logica

Introductie: In de wiskunde gebruiken we pijlen om verbanden weer te geven tussen verschillende beweringen.

• De bewering "$A\Rightarrow B$'' betekent "als $A$ waar is dan is $B$ ook waar'', "$A$ impliceert $B$'' of "$B$ volgt uit $A$''.
• De bewering "$A\Leftarrow B$'' betekent "als $B$ waar is dan is $A$ ook waar'', "$B$ impliceert $A$'' of "$A$ volgt uit $B$''.
• De bewering "$A\Leftrightarrow B$'' betekent dat zowel "$A\Rightarrow B$'' als "$A\Leftarrow B$'' klopt. We zeggen dat "$A$ geldt dan en slechts dan als $B$ geldt''. $A$ en $B$ zijn dan logisch equivalente beweringen.