Verificarea validității

Un exercițiu din modelele de subiecte pentru bacalaureatul din 2018 are drept cerință construirea unui silogism valid pe baza unei concluzii date. Pentru a fi rezolvat acest exercițiu legat de silogism, validitatea poate fi demonstrată folosindu-se metoda legilor silogismului.

Cerința: Construiți, atât în limbaj formal cât si în limbaj natural, un silogism valid, prin care să justificați propoziția “Unele propoziții afirmative sunt adevărate”.

Rezolvare:

Concluzia dată, „Unele propoziții afirmative sunt adevărate.”, este o propoziție de tip SiP. Concluzia se poate justifica prin următorul argument silogistic:

Toate axiomele sunt adevărate.

Unele propoziții afirmative sunt axiome.    

Unele propoziții afirmative sunt adevărate.

În limbaj formal, sil...