טבלת אמת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap
מאין תקציר עריכה
שורה 93:
 
 
תחילה, נצרין אתיוצרנו הפסוקים האטומים על פי הלקסיקון הבא:
: P: השמש זורחת
: Q: האגם קפוא
שורה 99:
 
 
על פי ההצרנה, זהו הטיעון בו אנוהמוצרן דניםהוא:
# <math>P \land (Q \to R)</math>
# <math>P \to \neg Q</math>
שורה 105:
 
 
והנה טבלתוטבלת האמת של הטיעוןשלו:
 
{| border="1" cellpadding="3"