חתולה על גג פח לוהט
''חתולה על גג פח לוהט'' נכתב על ידי טנסי ויליאמס ב-1955. המחזה זכה בפרס פוליצר. פוליצר הוא פרס חשוב לאמנות. הסיפור קורה בבית של חווה ביום הולדתו ה-65 של ביג דדי. כל המשפחה מתכנסת. הרופאים אומרים שאין בעיה קשה, אבל בני הבית יודעים שהוא חולה מאוד. בריק, בנו הצעיר, שותה הרבה. חבר טוב שלו, סקיפר, הרגי...
תחשיב הפסוקים
תחשיב פסוקים הוא דרך רשמית לבדוק טענות אמיתיות או שקריות. המערכת מסתכלת רק על "אמת" ו"שקר", לא על התוכן. אם אומרים: "אם חרק הוא נמלה אז הוא חי בתל" ו"החרק הוא נמלה", אז המסקנה היא שהוא חי בתל. זהו סוג של חשיבה לוגית פשוטה. משנים משפטים לאותיות קבועות. כל אות מייצגת טענה אחת. קשרים חשובים: - שלילה...
טבלת אמת
טבלת אמת היא טבלה שמראה מה קורה למשפטים לוגיים כשהם אמיתים או שקריים. אמת פירושו שמשהו נכון. שקר פירושו שמשהו לא נכון. קשרים לוגיים הם כללים שמקשרים משפטים. שלילה אומרת להפוך אמת לשקר ושקר לאמת. "וגם" אומר ששני המשפטים צריכים להיות אמת. "או" אומר שאחד מהם מספיק. כל משפט בסיסי יכול להיות רק אמת או...
NOR לוגי
NOR לוגי פירושו 'לא או'. סימון: ↓. זה אופרטור בוליאני. בוליאני, עובד עם אמת או שקר. A↓B יהיה אמת רק כשגם A וגם B שקריים. זאת אומרת שאף אחד מהם לא נכון. אפשר גם בעזרת NOR לבנות פעולות לוגיות נוספות. יש טבלת אמת שמראה כל האפשרויות....
ערך אמת
ערך אמת אומר אם משפט נכון או שקרי. לוגיקה (שיטה לבדוק אם משהו נכון) משתמשת בערכי אמת. בלוגיקה הקלאסית יש שני ערכים: 0 לשקר מוחלט ו-1 לאמת מוחלטת. יש גם לוגיקה עמומה (שבה דברים יכולים להיות קצת אמיתיים). שם ערך האמת הוא מספר בין 0 ל-1....
טענה
טענה היא משפט שאפשר לבדוק אם הוא נכון או לא. משפט שאפשר לבדוק כזה נקרא פסוק חיווי. טענה יכולה להיות אמת או שקר. יש משפטים שונים בשפה, כמו שאלה או בקשה. בקשה כמו "הבא לי את המים" אינה טענה. היא לא יכולה להיות נכונה או לא נכונה. לעומת זאת, "השמיים כחולים" היא טענה, כי אפשר לבדוק את זה. לפעמים שאלה נ...