נוספו 949 בתים,
22:16, 2 בספטמבר 2012 ==1==
נגדיר את האטומים הבאים:
p - ערן שמח
q - ערן ישן
r - השמש זורחת
הצרן את המשפטים הבאים (כלומר, כתוב אותם בעזרת הפסוקים והקשרים הלוגיים שלמדנו- 'או', 'וגם', 'גרירה', 'שלילה')
* כאשר השמש זורחת, ערן מתעורר
** <math>r \rightarrow \neg q</math>
* ערן שמח רק כאשר השמש זורחת
** <math>p \rightarrow r</math>
* אם ערן שמח וער, סימן שהשמש זורחת
** <math>(p \and \neg q) \rightarrow r</math>
* במפתיע, ערן תמיד עצוב כשהוא ער
** <math>\neg q \rightarrow \neg p</math>
** שקול: <math>p \rightarrow q</math>
* אם השמש זורחת, כאשר ערן אינו ישן הוא שמח
** <math>r \rightarrow (\neg q \rightarrow p)</math>
* לא ייתכן שערן ישן והשמש אינה זורחת
** <math>q \rightarrow r</math>