שקילות (לוגיקה)


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

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

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


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