כתב מושגים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
מ תמונות - הסבה לעברית, תיקון פרמטרים (תג)
שורה 26:
|-
||[[לא (לוגיקה)|שלילה]]
|style="text-align:center;"|[[Fileקובץ:Begriffsschrift connective1.svg|60px]]
|style="text-align:center;"|<math>\neg A</math><br>
<math>{\sim} A</math>
|-
||[[אם-אז|גרירה]]
|style="text-align:center;"|[[Fileקובץ:Begriffsschrift connective2.svg|80px]]
|style="text-align:center;"|<math>B\rightarrow A</math>
<math>B\supset A</math>
|-
||[[כמת|כמת כולל]]
|style="text-align:center;"|[[Fileקובץ:BS-12-Begriffsschrift Quantifier1-svg.svg |85px]]
|style="text-align:center;"|<math>\forall x\, F(x)</math>
|-
||[[כמת|כמת ישי]]
|style="text-align:center;"|[[fileקובץ:BS-14-Begriffsschrift Quantifier3-svg.svg|95px]]
|style="text-align:center;"|<math>\exists x\, F(x)</math>
|-