=== קשרים וכמתים ===
הגדרה: יהיו A,B ביטויים היכולים להיות אמת (1) או שקר (0) אזי הקשרים
* <math>A\to B</math> - "גרירה" (חד כיוונית)
* <math>A \or B</math> "או"
* <math>A\and B</math> "וגם"
* <math>\neg A</math> "שלילה"
מוגדרים ע"י טבלאת האמת הבאה:
<math>\begin{array}{|c|c|c|c|c|c|} \hline \\ A & B & A\to B& A \or B &A\and B&\neg A\\</math>
את הקשרים הלוגיים (וגם, או, שלילה, גורר) נכיר בעזרת טבלאות האמת שלהם (שזוהי גם ההגדרה שלהם).