Transpunerea unui enunț din limbaj natural în limbaj formal și din limbaj formal în limbaj natural: Logică la Bacalaureat

Doi elevi, X și Y, opinează astfel:
X: Dacă unele mamifere sunt animale acvatice, atunci unele animale acvatice sunt mamifere.
Y: Dacă unele acțiuni planificate nu sunt eficiente, atunci unele acțiuni eficiente nu sunt planificate.

Construiți, atât în limbaj formal cât și în limbaj natural, contradictoria propoziției 1, contrara propoziției 2, supraalterna propoziției 3 și subcontrara propoziției 4. 8 puncte

1. Niciun membru al grupului formal nu este ușor de impresionat.
2. Toate florile din ghivecele bunicii sunt colorate si parfumate.
3. Unii scriitori români contemporani sunt cunoscuți la nivel internațional.
4. Unele animale de la polul nord nu sunt în pericol de dispariție.

Aplicați explicit operațiile de conversiune și obversiune, pentru a deriva conversa și obversa corecte ale fiecăreia dintre propozițiile 2 și 3, atât în limbaj formal, cât și în limbaj natural. 8 puncte

Construiți, atât în limbaj formal cât și în limbaj natural, supraalterna conversei obversei propoziției 4, respectiv, obversa conversei contrarei propoziției 1. 6 puncte

Doi elevi, X și Y, opinează astfel: X: Dacă unele idei sunt adevărate, atunci unele idei nu sunt false. Y: Toate zilele de vacanță sunt așteptate cu nerăbdare de către toți, deci unele zile așteptate cu nerăbdare de către toți sunt zilele de vacanță. Pornind de la această situație: a. scrieți, în limbaj formal, opiniile celor doi elevi; 4 puncte b. precizați corectitudinea/incorectitudinea logică a raționamentelor formalizate; 2 puncte c. explicați corectitudinea/incorectitudinea logică a raționamentului elevului Y. 2 puncte

Se dau următoarele două moduri silogistice: eio-1, oao-2. a) Scrieți schemele de inferență corespunzătoare modurilor silogistice date. 4 puncte b) Construiți, în limbaj natural, un silogism care să corespundă uneia dintre cele două scheme de inferență scrise la subpunctul a). 2 puncte c) Verificați explicit, prin metoda diagramelor Venn, validitatea modurilor silogistice date, precizând totodată decizia rezultată din reprezentarea grafică (de exemplu: mod silogistic valid/ mod silogistic nevalid). 8 puncte