שיחה:תחשיב פסוקים
מתוך ויקיפדיה, האנציקלופדיה החופשית
לא יודע, יכול להיות שאני מעט מבולבל, אבל לדעתי המשפט "אם A אז לא A" אינו סתירה (שקרי תמיד) אם ערך האמת של A הוא שיקרי אז אנחנו נקבל F -> T שלפי טבלת האמת של "אם אז" היא אמיתית. ITK98 - שיחה 02:51, 5 ביוני 2008 (IDT)
- צודק - תיקנתי את הדוגמה בהתאם. רונן א. קידר - שיחה 13:29, 5 ביוני 2008 (IDT)