כדי לקבוע את המונח "ההיגיון של הצהרות", יש צורך להבין בבירור מה היא "הצהרה".
אז, ההצהרה היאמשפט שהוא נכון מבחינה דקדוקית ושקר או אמת. מושג זה צריך לבטא משמעות מסוימת. לדוגמה, הביטוי "כנרי הוא ציפור" כולל חלקים מכוננים כגון: "כנרית" ו "ציפור".
לכן אחד המפתח, המושגים הראשונים של ההיגיון הם הצהרות. מושגים אלה צריכים לתאר מצב מסוים שבו תהיה הצהרה על משהו או הכחשה.
הצהרה נחשבת נכונה אם המצב ניתן לייחס את המציאות של המצב, כאשר מתארים את זה. על ידי עצמם, "שקר" ו "אמת" לקבוע את האמת של הדוחות.
ההיגיון של הצהרות מורכב פשוט וביטויים מורכבים. לכן, הצהרה שאינה כוללת ביטויים אחרים נחשבת פשוטה. וביטויים מורכבים כוללים ביטויים הנגזרים מהצהרות פשוטות, הגיונית.
ההיגיון הקלאסי של ההצהרות יכול להיותהמיוצגת על ידי התיאוריה הכללית של ניכוי. זהו בדיוק החלק של ההיגיון שבו מתארים את הקשרים הלוגיים של ביטויים פשוטים שאינם תלויים במבנה ההצהרות.
זה בלתי אפשרי שלא לדבר על יחד - קשההצהרה הנגזרת משילוב שני ביטויים פשוטים עם המילה "ו". האמת של יחד מאוששת על ידי אמינות של כל ההצהרות הכלולות במבנה שלה. במקרה שבו לפחות אחד מחבריה הוא שקר, כל יחד יש את השלט "שקר".
ההרכב עצמו משמש ליצירת הצהרות מורכבות המבוססות על ההנחות הבאות:
- כל ביטוי (פשוט ומורכב) יכול להיות אמיתי או שקר;
- האמת של אמירה מורכבת תלויה ישירות באמיתות ההצהרות הכלולות בה ובחיבורים הלוגיים בה.
בעת חיבור שתי הצהרות באמצעותאת המילה "או" הוא כבר disjunction. בחיי היומיום, מושג זה יכול להיחשב מנקודת מבט של שתי משמעויות שונות. ראשית, זהו חוש לא בלעדי, אשר מרמז על האמת של ביטוי, ללא קשר אם אחד משני הוא נכון או שניהם. שנית, המשמעות הבלעדית קובעת כי אחד הביטויים הוא הנכון והשני הוא שקר.
נוסחאות ההיגיון הצעות מכילות מיוחדותדמויות. אם כן, בשילוב, הסמל V פירושו שהביטוי נכון אם לפחות אחת מההצהרות נכונה, ושקרית אם שני חבריה שקריים.
При определении импликации существует את ההצהרה כי הבסיס של ההצהרה לא יכול להיות נכון תחת חקירה שקרית. במילים אחרות, מושג זה מרמז על תלות האמת או השקר של ביטוי על משמעות מרכיביו ועל דרכי חיבוריהם.
למרות שהמשמעות היא די שימושיתעבור מטרות מסוימות, זה לא עולה בקנה אחד עם ההבנה של הקשר מותנה בכלל. לכן, כאשר מחבקים תכונות חשובות רבות של ההתנהגות הלוגית של ביטוי, מושג זה אינו יכול להיות תיאור הולם.
ההיגיון בהצהרות מכוון לפתור כאלהמשימה מרכזית, כהפרדת דפוסי הנמקה ושגוי של הנמקה ושיטתיות של הראשונה. כדי להגיע לתוצאה הנכונה, עליכם להתמקד בתווים מיוחדים שיכולים לייצג צורה כזו או אחרת. מכאן מצוין העניין במילים לא משמעותיות לכאורה כמו "או", "ו-" וכו '.
ללוגיקת הצהרות יש אפילו שפה משלה, המורכבת מהרכיבים הבאים:
- סמלי מקור - משתנים, קבועים לוגיים וסימנים טכניים;
- נוסחאות.
להבנה טובה יותר של הנאמר, יש לעבור לדוגמאות ספציפיות. לדוגמה, השילוב משתמש בסמל & &, בצירוף ה- / / או º /.
