Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
תחשיב הפסוקים
Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית
Download this dictionary
תחשיב הפסוקים
ב
לוגיקה
וב
לוגיקה מתמטית
,
תחשיב פסוקים
(ב
אנגלית
: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (
פורמליסטית
), המאפשרת לייצג את
הקַשַּרים הלוגיים
בין
ערכי האמת
של
פסוקים לוגיים
שונים, ו
להסיק
את
תקפותם ההגיונית (לוגית)
של
טענות
.
להמשך המאמר ראה Wikipedia.org...
© מאמר זה משתמש בתוכן מ-
ויקיפדיה®
וכפוף לרשיון לשימוש חופשי במסמכים של גנו
GNU Free Documentation License
וכפוף לרישיון
Creative Commons ייחוס-שיתוף זהה