נושאים במתמטיקה לתלמידי מדעי החברה : פרקים בתורת הקבוצות, בלוגיקה ובאלגברה לינארית : שיעור 2 - לוגי

Author: דניאלה ליבוביץ

Year of Publication: 2008

Keywords: מתמטיקה; לוגיקה; חשבון; מתמתיקה; מתימטיקה; מטימטיקה; מתימתיקה; היגיון; הגיון; תורת ההיגיון; תורת ההגיון; תורת-ההגיון; תורת-היגיון

ספר שני מתוך הסדרה נושאים במתמטיקה לתלמידי מדעי החברה. ספר זה עוסק בלוגיקה בסיסית. To the book

Subject(s): , מדעי החברה, סוציולגיה, מדע המדינה ותקשורת, מתמטיקה ומחשבים, מתמטיקה ומדעי המחשב

Book Content:

• נושאים במתמטיקה לתלמידי מדעי החברה פרקים בתורת הקבוצות, בלוגיקה ובאלגברה לינארית שיעור II לוגיקה בסיסית

• שיעור II: תוכן העניינים

• מבוא

• פרק 5 לוגיקת הפסוקים

• 5.1 קשרים פסוקיים

• שלילה

• לוח האמת של השלילה

• קוניונקציה

• לוח האמת של הק›ני›נקציה

• דיסיונקציה

• לוח האמת של הדיסיונקציה

• התניה (אימפליקציה מטריאלית)

• לוח האמת של ההתניה

• 5.2 שפת הפסוקים

• פסוקים פורמאליים

• התאמת סוגרים

• 5.3 לוחות אמת

• ערך האמת של פסוק במצב נתון

• לוח האמת של פסוק

• לוח אמת משותף

• קשר ההתניה הכפולה (iff)

• 1 לוח האמת של ההתניה הכפולה

• קשר האו המוציא (xor)

• 5.4 טאוטולוגיות

• 5.5 שקילות טאוטולוגית

• פסוקים שקולים טאוטולוגית

• החלפה

• 5.6 נביעה טאוטולוגית

• הגדרה ודוגמאות

• דוגמאות נגדיות

• היבטים כלליים של נביעה טאוטולוגית

• עקביות

• 5.7 כללי היסק והוכחות

• פרק 6 לוגיקת הפרדיקטים

• 6.1 מבוא

• פסוקים כוללים

• פסוקים ישיים

• טיעונים תקפים שאינם תקפים טאוטולוגית

• 6.2 תבניות פסוק

• תבניות במשתנה אחד

• תבניות במשתנים אחדים

• הצבה

• צירוף תבניות בעזרת קשרים

• אמיתיות בתחום הדיון

• 6.3 כמתים

• הכמת הכולל

• הכמת היישי

• משתנים חופשיים

• כימות תבניות רבות משתנים חופשיים

• 6.4 שפת הפרדיקטים

• הקדמה

• שפת הפרדיקטים

• פרדיקט השוויון

• הצרנה לשפת הפרדיקטים

• תרגול

• 6.5 אמיתיות לוגית

• 6.6 שקילות לוגית

• 6.7 נביעה לוגית

• תשובות לשאלות בשיעור II

• נספח אותיות האלף-בית היווני

• ההגדרות והמשפטים בשיעור II

Pages:

א  ב  ג  ד  ה  1  2  3  4  5  6  7