negate


Babylon English-HebrewDownload this dictionary
negate
(פ') לשלול; להפריך; לנטרל; לסתור

Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשיתDownload this dictionary
לא (לוגיקה)

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

להמשך המאמר ראה Wikipedia.org...


© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה