תחשיב פסוקים

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

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

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

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

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

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

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

עצמו משמש ליצירת הדוחות המורכבים, המבוססים על ההנחות הבאות:

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

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

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

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

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

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

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

שפה משלו, שמורכבת מהאלמנטים הבאים:

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

- נוסחות.

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