ההיגיון של ההצהרות

כדי לקבוע את המונח "לוגיקה הצעה", יש צורך להבין בבירור מה "אמירה" היא.

אז, משפט הוא משפט כי הוא נכון מבחינה דקדוקית, והוא שקר או נכון. מושג זה צריך לבטא משמעות מסוימת. לדוגמה, הביטוי "כנרי הוא ציפור" כולל רכיבים כאלה: "כנרית" ו "ציפור".

לכן אחד המושגים המרכזיים, המקוריים של ההיגיון הוא ההצהרות. מושגים אלה צריכים לתאר מצב מסוים שבו תהיה הצהרה של משהו או שלילה.

ההצהרה נחשבת נכונה אם המציאות מתוארת כאשר מתארים אותה. על ידי עצמם, "שקרים" ו "אמת" לקבוע את האמת של אמירות.

ההיגיון של ההצהרות מורכב מביטויים פשוטים ומורכבים. לכן, הצהרה פשוטה שאינה כוללת ביטויים אחרים בהרכב שלה נחשב פשוט. ולמורכבות הן ביטויים הנגזרים מהצהרות פשוטות, הגיונית.

ההיגיון הקלאסי של ההנחות יכול להיות מיוצג על ידי תיאוריה כללית של ניכוי. זהו בדיוק החלק של ההיגיון שבו מתארים את הקשרים הלוגיים של ביטויים פשוטים שאינם תלויים במבנה המלים.

אי אפשר שלא להזכיר את ההקבלה - הצהרה מורכבת, המתקבלת על ידי שילוב של שתי ביטויים פשוטים עם המילה "ו". האמת של יחד הוא אישר את האמינות של כל ההצהרות הכלולות במבנה שלה. במקרה שבו לפחות אחד מחבריה הוא שקר, כל יחד יש סימן "שקר".

ההקבלה עצמה משמשת להרכיב את אותן אמירות מורכבות המבוססות על הנחות כאלה:

- כל ביטוי (פשוט ומורכב) יכול להיות אמיתי או שקר;

- האמת של הצהרה מורכבת ישירות תלוי האמת של הדוחות ואת הקשרים הלוגיים בו.

כאשר שני משפטים משולבים באמצעות המילה "או", מתקבלת הפרעה. בחיי היומיום ניתן להתייחס לתפיסה זו מנקודת מבט של שתי משמעויות שונות. ראשית, זוהי משמעות לא בלעדית, אשר מרמז על האמת של הביטוי, אם אחד משני הביטויים הוא אמיתי או שניהם. שנית, המשמעות הבלעדית קובעת כי אחד הביטויים הוא נכון, והשני הוא שקר.

נוסחאות ההיגיון המוצע מכילות סמלים מיוחדים. לכן, ב disjunction, את סמל V מציין כי הביטוי נכון עם לפחות אחד ההצהרות נכון, וזה שקר אם שני התנאים שלו הם שקר.

בקביעת המשמעות, יש קביעה כי הבסיס של הביטוי לא יכול להיות אמיתי עם תוצאה כוזבת. כלומר, מושג זה מניח את תלות האמת או השקר של הביטוי על משמעות מרכיביו ודרכי הקשר ביניהם.

אף על פי שהמשמעות היא מועילה מספיק למטרות מסוימות, היא אינה מתיישבת עם ההבנה של היחסים המותנים בצורתה הכללית. לכן, בהכללה של תכונות חשובות רבות של ההתנהגות הלוגית של ביטוי, מושג זה אינו יכול להיות תיאור הולם.

ההיגיון של ההצהרות נועד לפתור בעיה מרכזית כזו כמו הפרדה של מזימות נכונה נכונה של חשיבה ואת שיטתיות של לשעבר. כדי לקבל את התוצאה הנכונה, אתה צריך למקד את תשומת הלב שלך על סמלים מיוחדים שיכולים לייצג טופס זה או אחר. לפיכך, יש לציין את העניין במילים "או", "ו", וכו ', שהן חסרות חשיבות במבט ראשון.

לוגיקה של אמירות יש אפילו את השפה שלה, המורכב של המרכיבים הבאים:

- סמלים ראשוניים - משתנים, קבועים לוגיים וסימנים טכניים;

- נוסחאות.

כדי להבין טוב יותר את מה שנאמר, אנחנו צריכים ללכת על דוגמאות קונקרטיות. לדוגמה, הקישור משתמש בסמל &, הפרדה - \ / או \ º /.