* <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>
{| border="1" align="center" style="text-align:center;"את הקשרים הלוגיים (וגם, או, שלילה, גורר) נכיר בעזרת טבלאות האמת שלהם (שזוהי גם ההגדרה שלהם).| <math>\neg A</math>נציין שקשרים לוגיים מקשרים בין ביטויים ולא עומדים בפני עצמם. כלומר (לדוגמא) השימוש שלהם בצורה |0|0|1|1|-|<math>A גורר \and B כאשר </math>|0|0|0|1|-|<math>A,\or B ביטויים.</math>|0|1|1|1|-|<math>A \to B</math>|1|1|0|1|-|<math>B </math>|0|1|0|1|-|<math>A </math>|0|0|1|1|-|}
הערה: קשר נוסף שהינו נפוץ בתחום המתמטקיה והוא גרירה דו-כיוונית (ידוע בכינויו אם ורק אם, אמ"מ).