שינויים

=== קַשָּרִים וְכַמָּתִים ===

ִִִִִִ

הגדרה: יהיו A,B אטומים (או פרדיקטים) היכולים להיות אמת (1) או שקר (0) אזי הקשרים

* <math>A\to B</math> - "גרירה" (חד כיוונית)