שינויים
/* קשרים */
==== פסוקים מורכבים ====
פסוקים יכולים להיות מורכבים יותר מאשר האטומים או חיבור של אטומים ע"י קשרים. המורכבות נוצרת ע"י הפעלה חוזרת של קשרים. במילים אחרות, נתייחס לכל אחד מהבאים כפסוק: א. אטומים ב. אם <math>p,q</math> פסוקים אזי <math>(p)\land (q),(p)\lor (q), (p)\to (q0</math> פסוקים. ג. אם <math>p</math> פסוק אזי <math>\lnot (p)</math> פסוקים.
תכונות הקשרים: לכל שלוש פסוקים <math>A,B,C</math> מתקיים כי:
* קיבוציות <math>(A\land B) \land C =A\land (B \land C), (A\lor B) \lor C =A\lor (B \lor C) </math>
* חילופיות <math>A\land B =B\land A, A\lor B = B\lor A</math>
