תחשיב הפרדיקטים – הבדלי גרסאות

clean up באמצעות AWB
מ (תקלדה)
(clean up באמצעות AWB)
<!--START-->{| style="text-align: center; border: 1px solid darkgray; width:300px"
|-
|colspan="2"|<fontspan colorstyle="color:darkgray;">אין אף טור ריק / אין אף שורה ריקה :</fontspan>
|- style="vertical-align:top;"
|[[קובץ:Predicate logic; 2 variables; example matrix a2e1.svg|ממוזער|מרכז|120px|1. <math>\forall x \exist y Lyx</math><br>כל אחד נאהב על ידי מישהו.]]
<!--START-->{| style="text-align: center; border: 1px solid darkgray; width:160px"
|-
|colspan="2"|<fontspan colorstyle="color:darkgray;">האלכסון אינו ריק / האלכסון מלא:</fontspan>
|- style="vertical-align:top;"
|[[קובץ:Predicate logic; 2 variables; example matrix e(12).svg|ממוזער|מרכז|120px|5. <math>\exist x Lxx</math><br>מישהו אוהב את עצמו.]]
<!--START-->{| style="text-align: center; border: 1px solid darkgray; width:160px"
|-
|colspan="2"|<fontspan colorstyle="color:darkgray;">התבנית אינה ריקה / התבנית מלאה:</fontspan>
|- style="vertical-align:top;"
|[[קובץ:Predicate logic; 2 variables; example matrix e12.svg|ממוזער|מרכז|120px|7. <math>\exist x \exist y Lxy</math><br>מישהו אוהב מישהו<br><br>8. <math>\exist x \exist y Lyx</math><br>מישהו נאהב על ידי מישהו.]]
<!--START-->{| style="text-align: center; border: 1px solid darkgray; width:300px"
|-
|colspan="2"|<fontspan colorstyle="color:darkgray;">שורה אחת מלאה / טור אחד מלא:</fontspan>
|- style="vertical-align:top;"
|[[קובץ:Predicate logic; 2 variables; example matrix e1a2.svg|ממוזער|מרכז|120px|3. <math>\exist x \forall y Lxy</math><br>מישהו אוהב את כל אחד.]]