Loading
Progresso di Studio
Across all your exams
Drag to pan · ⌘/Ctrl + scroll or pinch to zoom · tap a node for detail · +/− to expand a branch
Part 1 of 3
L'implicazione 'Se P allora Q' (P -> Q) stabilisce che P è condizione sufficiente per Q e Q è condizione necessaria per P.
L'unica forma logicamente equivalente è la contrapposta 'Se non Q allora non P' (non Q -> non P). L'affermazione del conseguente ('Q è vero quindi P è vero') costituisce una fallacia classica.
Worked example
Dall'affermazione 'Se un operatore è di turno, indossa la divisa', si conclude con certezza che 'Se un operatore non indossa la divisa, non è di turno'. Non si può concludere che chi indossa la divisa sia necessariamente di turno.
1.L'affermazione 'Se P allora Q' è logicamente equivalente a 'Se non Q allora non P'.
Study assistant
Paid students only — a preview
Why is this the correct answer?
Eliminate any option that contradicts something stated directly in the lesson, then check which one actually follows from the rule you just learned. Tell me which option confused you and I'll point to the exact line.
Exam strategy
If you can explain why the wrong answers are wrong, you know the topic. Remembering the right one only gets you halfway.
Unlock AI tutoring for this exam →