לוגיקה: הבדלים בין גרסאות בדף

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
 
שורה 20: שורה 20:


טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.

==נכון או לא-נכון==
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:30%"
|- style="background:paleturquoise"
!style="width:10%"| נכון
!style="width:10%"| לא-נכון
!style="width:10%"| נכון או לא-נכון
|-
| נכון || לא-נכון || נכון
|-
| לא-נכון || נכון || נכון
|}


[[קטגוריה:לוגיקה]]
[[קטגוריה:לוגיקה]]

גרסה אחרונה מ־22:17, 28 ביולי 2021

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

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

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


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

תוכן העניינים[עריכה]

תחשיב הפסוקים[עריכה]

מושגים:

טאוטולוגיה - משפט שתמיד נכון ללא קשר לתוכנו, לדוגמא: a או לא a.

קונטראדיקציה (סתירה) - משפט שתמיד לא נכון ללא קשר לתוכנו, לדוגמא: a וגם לא a.

טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.