==שיטות הוכחה==
שיטות הוכחה (סיכום תמציתי) [https://docs.google.com/document/d/14YYUja1VMM2V2J971sGGnfpOESl7vphOCZATtKqX20Q/edit?usp=sharing]
===הוכחה בשלילה===
הוכחה בשלילה מבוססת על הטאוטולוגיה <math>(\sim p \rightarrow F)\rightarrow p</math>. בהוכחה בשלילה אנו מניחים את השלילה של מה שצריך להוכיח ומגיעים לסתירה.