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