Motivarea este afirmația că o declarație (concluzie) rezultă din alte declarații (premise). Rațiunea este considerată corectă numai dacă încheierea conjuncțiilor spațiilor implică faptul că relația corolarului este stabilită între conjunctura premiselor și încheierea. Dacă P1. P2. Pn este o premisă, iar Q este o concluzie, atunci argumentul este corect dacă între instrucțiunea P1 Ù P2 Ù. Ù Pn și Q se stabilește relația dintre corolarul. În acest caz, implicația P1 Ù P2 Ù. Ù Pn ®Q trebuie să fie identică cu afirmația adevărată (tautologie).
Corectitudinea raționamentului poate fi stabilită prin construirea unei tabele de adevăr a propoziției S = P1 ÙP2 Ù. ÙPn ® Q și asigurați-vă că este identic.
Cu un număr mare de premise, pentru a stabili faptul că este o tautologie, este mai convenabil, prin transformarea unei declarații, o formulă echivalentă cu ea, care este o tautologie.
Metoda "prin contradicție" se bazează pe presupunerea că concluzia este falsă și stabilirea faptului că conjuncția P1 Ù P2 Ù. Ù Pn - false (care este cazul dacă cel puțin una dintre coletele Pi () ia valoarea "false"). Dacă acest lucru este făcut, atunci argumentul este adevărat, altfel nu este. Astfel, în cazul unei raționamente adecvate, suntem convinși că implicația S = P1 Ù P2 Ù. Ù Pn ® Qº1, deoarece nu există nici o posibilitate logică corespunzătoare lui P = P1 Ù P2 Ù. Ù Pn = 1, Q = 0, unde implicația P ® Q are o valoare falsă.
Articole similare
Trimiteți-le prietenilor: