Documente Academic
Documente Profesional
Documente Cultură
Lecția 7
OBVERSIUNEA
OBVERSIUNE: tip de inferență imediată cu propoziții categorice în care, în trecerea de la
premisă la concluzie, se neagă atât calitatea premisei, cât și a predicatului acesteia.
Observație: dacă premisa este afirmativă, concluzia va fi negativă, și invers: dacă
predicatul premisei este un termen pozitiv, predicatul concluziei va fi un termen negativ,
și invers).
Exemplu: Dacă toate mamiferele sunt vertebrate, atunci niciun mamifer nu este
nevertebrat. Exemplul confirmă observația de mai sus (nevertebrat este un termen
negativ iar concluzia Niciun mamifer nu este nevertebrat este o propoziție negativă).
OBVERTENDĂ: nume dat premisei obversiunii. În exemplul „Dacă toate mamiferele sunt
vertebrate, atunci niciun mamifer nu este nevertebrat”, obvertenda este propoziția „Toate
mamiferele sunt vertebrate”.
OBVERSĂ: nume dat concluziei obversiunii. În exemplul „Dacă toate mamiferele sunt
vertebrate, atunci niciun mamifer nu este nevertebrat”, obvertenda este propoziția „Niciun
mamifer nu este nevertebrat„.
În limbaj formal: operația de obversiune este SiP→So𝐏. Obversa propoziției SiP este So𝐏
4. Propoziția SoP se obvertește (valid) în Si𝐏
În limbaj natural: Dacă unele patrulatere nu sunt figuri geometrice cu laturile egale, atunci unele
patrulatere sunt non-figuri geometrice cu laturile egale.
sau Dacă unele patrulatere nu sunt figuri geometrice cu laturile egale, atunci unele patrulatere
au laturile inegale.
În limbaj formal: operația de obversiune este SoP→Si𝐏. Obversa propoziției SoP este Si𝐏