Kontrapolija – tai logikos terminas, reiškiantis teiginio transformavimą, kai:
1. Keičiama subjekto ir predikato vieta (apverčiamas teiginys).
2. Abiems sąvokoms pridedamas neigimas.
Formulė:
Jei teiginys „Visi S yra P“, tai kontrapolija bus „Visi ne-P yra ne-S“.
Pavyzdžiai:
- Originalus: „Visi žmonės (S) yra mirtingi (P).“
Kontrapolija: „Visi nemirtingi (ne-P) yra ne žmonės (ne-S).“
- Originalus: „Jokia žuvis (S) nėra žinduolis (P).“
Kontrapolija: „Joks žinduolis (ne-P) nėra ne žuvis (ne-S).“ (Logiškai ekvivalentu: „Visi žinduoliai yra ne žuvys“).
Svarbu: Kontrapolija išlaiko originalaus teiginio loginę reikšmę (ekvivalentiška transformacija). Naudojama įrodymuose ir samprotavimuose.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.