URGENT!!!!
Se dau următoarele propoziţii
1. Unele vertebrate nu sunt mamifere.
2. Toate bijuteriile sunt obiecte scumpe.
3. Niciun număr impar nu este divizibil cu doi.
4. Unii pictori sunt români.
A. Precizaţi formulele logice corespunzătoare propoziţiilor 2 și 4.
B. Construiţi, atât în limbaj formal cât şi în limbaj natural, subcontrara propoziției 1, contrara
propoziției 2, subalterna propoziției 3 și supraalterna propoziției 4. 8 puncte
C. Aplicaţi explicit operaţiile de conversiune şi obversiune, pentru a deriva conversa şi obversa
corecte ale fiecăreia dintre propoziţiile 3 şi 4, atât în limbaj formal, cât şi în limbaj natural.
D. Construiţi, atât în limbaj formal cât şi în limbaj natural, obversa conversei propoziției 3.
Răspunsuri la întrebare
A. Formula propozitiei 2 este SaP.
Formula propozitiei 4 este SiP.
B. Propozitia 1 are formula SoP. Subcontrara propozitiei 1 este SiP. In limbaj natural, subcontrara este: Unele vertebrate sunt mamifere.
Propozitia 2 are formula SaP. Contrara propozitiei 2 este SeP. In limbaj natural, contrara este: Nicio bijuterie nu este un obiect scump.
Propozitia 3 are formula SeP. Subalterna propozitiei 3 este SoP. In limbaj natural, subalterna este: Unele numere impare nu sunt divizibile cu doi.
Propozitia 4 are formula SiP. Supraalterna propozitiei 4 este SaP. In limbaj natural, supraalterna este: Toti pictorii sunt romani.
C. Propozitia 3 are formula SeP. Prin conversiune, rezulta intr-un PeS. In limbaj natural: Niciun numar divizibil cu doi nu este impar.
Prin obversiune, din SeP rezulta Sa~P ("~P" = P negat). In limbaj natural: Toate numerele impare sunt nedivizibile cu doi.
Propozitia 4 are formula SiP. Prin conversiune, rezulta intr-un PiS. In limbaj natural: Unii romani sunt pictori.
Prin obversiune, din SiP rezulta So~P ("~P" = P negat). In limbaj natural: Unii pictori nu sunt non-romani. (Nu avem un prefix de negatie pentru "romani", deci folosim prefixul universal "non-", care merge la orice cuvant).
D. Propozitia 3 are formula SeP. Prin conversiune (ca si la punctul precedent), din SeP rezulta PeS. Prin obversiune, propozitia PeS devine Pa~S. In limbaj natural: Toate numerele divizibile cu doi sunt numere pare.