שינויים
/* תחשיב פרידקטים */
התנאי לקבלת טיפ: <math>\neg \left[(\neg H\and \neg 0)\and (\neg K\and \neg B)\right] \or (\neg H\and K \and \neg O \and D ) \rightarrow P </math>
== הצרנה ==
'''הצרנה''' היא תרגום של פסוק או טיעון יומיומי או מתמטי לשפה לוגית מדוייקת, על-פי צורתו, תוך התעלמות מתוכנו. לאחר שהפסוק תורגם, אפשר להפעיל עליו כלים לוגיים סטנדרטיים על-מנת לבחון אותו, להעביר אותו לצורה שקולה, לעמת אותו עם פסוקים אחרים, וכדומה.
* "אם לא תגמור מהצלחת, יבוא שוטר".
כדי לטפל בפסוק כזה, עלינו להגדיר שני אטומים: A="תגמור מהצלחת", B="יבוא שוטר". הפסוק קובע "אם לא A אז B". כך אפשר לראות מיד שיש לו אותו מבנה לוגי, אותה צורה, כמו לפסוק הבא:
* "אם לא נכלכל את צעדינו בתבונה, נמצא את עצמנו מול שוקת שבורה".
(אם לא A אז B, כאשר A="נכלכל את צעדינו בתבונה" ו-B="נמצא את עצמנו מול שוקת שבורה").
הדוגמאות יכולות להיות מסובכות בהרבה:
* "כאשר אני עייף ורעב אני נעשה עצבני, או שאני הולך לישון; אבל אם אני עצבני ולא עייף, אז אני רעב". (כלומר, עבור הביטויים המתאימים A,B,C,D: (אם A וגם B אז (C או D)), וגם (אם C ולא A אז לא B)).
*חוקי המשחק [http://www.setgame.com/set/puzzle_frame.htm SET]: על השולחן מונחים שנים-עשר קלפים, לכל קלף במשחק יש שלוש תכונות: '''צורה''', '''צבע''', '''מספר''' ו'''מילוי'''. על השחקנים למצוא שלישיות חוקיות; ''שלישיה חוקית'' הינה '''שלישיה של קלפים אשר כל תכונה שלהם בנפרד שווה בכולם או שונה בכולם'''. לכן שלישיה הינה חוקית אם (((הצבע של שלושת הקלפים זהה) או (לכל קלף יש צבע אחר)) וגם ((המילוי של שלושת הקלפים זהה) או (לכל קלף יש מילוי אחר))וגם ((המספר של שלושת הקלפים זהה) או (לכל קלף יש מספר אחר)) וגם ((הצורה של שלושת הקלפים זהה) או (לכל קלף יש צורה אחרת))). (כלומר, עבור הביטויים המתאימים A,B,C,D,E,F,H,I: שלישיה הינה חוקית אם ((A או B) וגם (C או D) וגם (E או F) וגם (H או I))).
הצרנה היא כלי מתמטי ולא ספרותי, ותוך כדי יצירת ביטוי חד-משמעי היא עשויה לאבד את המשמעויות העדינות של המשפט המקורי. לדוגמא, מצרינים
* "ירד גשם ובכל זאת היה חם בחוץ" ו-
* "ירד גשם והיה חם בחוץ"
באותה צורה ("A וגם B"). המשמעות המרומזת ("בדרך כלל A גורר את השלילה של B") נעלמת.
'''תרגיל'''. הצרן: למדתי היטב למבחן, ואף על פי כן נכשלתי בו.
דוגמא נוספת:
*"ערן לובש חולצה סגולה אם הוא לובש מכנסיים בצבע שחור", "כאשר ערן לובש מכנסיים בצבע שחור אז הוא לובש חולצה סגולה", "יחד עם מכנסיים בצבע שחור, ערן לובש חולצה סגולה בלבד", וכן הלאה.
=== ערך אמת ===
'''ערך אמת''' הוא אחת משתי האפשרויות - אמת או שקר, שמסמנים לשם הקיצור T ו-F (מ-True ו-False, כמובן). אם האטומים מפורטים מספיק (מי יגמור מה ומתי מאיזו צלחת), כל אטום מקבל ערך אמת. או שתגמור מהצלחת, או שלא. או שיבוא שוטר, או שלא. אם תגמור מהצלחת, אז ערך האמת של הפסוק "תגמור מהצלחת" הוא T, ואחרת, הוא F. זו הדרך לחבר את תמונת העולם של המציאות, עם הפסוקים הלוגיים הפורמליים.
שימו לב שערך האמת עשוי להיות T או F; אומרים "לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת" או "לפסוק יש ערך שקר". (למתחכמים: כתוב כאן - אומרים ("לפסוק יש ערך אמת T" או "לפסוק יש ערך אמת F"), ולא ("לפסוק יש ערך אמת" או "לפסוק יש ערך שקר"), ולא - אומרים "לפסוק יש ערך אמת T" או ("לפסוק יש ערך אמת F", ולא "לפסוק יש ערך אמת") או "לפסוק יש ערך שקר").
כאשר משייכים לכל אטום של פסוק לוגי ערך אמת, אפשר לחשב את ערך האמת של הפסוק עצמו. לשם כך יש להכיר את ה'''קשרים''' הלוגיים הבסיסיים.
'''דוגמא'''-
קבעו את ערך האמת של הפסוקים הבא:
"(יצחק רבין נרצח וגם אריאל שרון נרצח) או (מלפפון הינו סוג של פרי)"
== תחשיב פרידקטים ==
