Question

Stabiliți obversa in limbaj formal si natural pentru propozitiile :Unele bucatarese sunt pricepute in bucătărie; Unii poeti nu sunt renumiti dau coroana . urgentt

Answer 1

Inferentele valide bazate pe obversiune sunt:
1) SaP → Se~P 
2) SeP → Sa~P
3) SiP → So~P
4) SoP → Si~P
Validitatea acestora,ca si a celor bazate pe conversiune,poate fi probata cu ajutorul diagramelor Venn.
Definitie standard: Obversiunea este operatia logica  prin care dintr-o propozitie de forma SP asumata ca premisa,rezulta drept concluzie o propozitie de forma S~P numita „obversa”.Bara asezata deasupra concluziei arata ca obversa este o propozitie categorica de calitate inversa in raport  cu premisa din care a fost derivata:daca premisa a fost afirmativa,concluzia este negativa,iar daca premisa a fost negativa,concluzia este afirmativa.
{,,~'' este o liniuta dreapta pe care o pui deasupra lui P}

----Unele bucatarese sunt pricepute in bucătărie.
In limbaj formal avem:  SiP → So~P
In limbaj natural:Unii S sunt P.→ Unii S nu sunt ~P.
Exemplu:Unele bucatarese sunt pricepute in bucatarie.→Unele bucatarese nu sunt pricepute in bucatarie.

----Unii poeti nu sunt renumiti.(premisa;din premisa va rezulta concluzia)
Limbaj formal:SoP → Si~P
Limbaj natural:Unii S nu sunt P.→ Unii S sunt ~P(non P se citeste).
Ex:Unii poeti nu sunt renumiti→ (prin obversiune) rezulta propozitia:Unii poeti sunt renumiti.

Alte explicatii suplimentare:
Sip este o propozitie particulara,afirmativa.Adica:Unii S sunt P.
SoP este o propozitie particulara,negativa.Adica:Unii S nu sunt P.