טיעון – הבדלי גרסאות

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