שקילות (לוגיקה)
ויקיפדיה האנציקלופדיה encyclopedia
שתי טענות ייקראו שקולות, אם בכל תנאי אמת שאחת מהן אמיתית בו, גם השנייה אמיתית, ולהפך. כלומר, כל אחת מהן מהווה תנאי מספיק ותנאי הכרחי לאמיתות השנייה. או בניסוח מתמטי, A אמיתי אם ורק אם B אמיתי. אם לתת דוגמה יומיומית, ניתן לומר, "מזג האוויר קר היום" וניתן לומר "הטמפרטורות היום, נמוכות". ניתן להחשיב אמירות אלה כאמירות (או טענות) "שקולות". דוגמה יותר פורמלית: ניתן לומר ש-א' שווה ל-5 וניתן לומר ש-א' שווה ל-7 פחות 2. טענות אלה - שקולות.