Kas ir secinājumu noteikums?

Secinājumu likumi sastopami ļoti daudzās domāšanas jomās, tostarp loģikas un matemātikas jomās, piemēram, simboliskajā loģikā, klasiskajā loģikā un aprēķinos. Parasti tās ir vadlīnijas informācijas apstrādei šajā jomā. Lielākajai daļai cilvēku vispazīstamākais secinājumu noteikumu kopums nāk no propozicionālās loģikas.

Šie noteikumi tiek izmantoti novērtēšanas metodē, ko sauc par dabisko atskaitījumu. Deviņi pamatnoteikumi nosaka apgalvojumu pārbaudi, izmantojot dabisko atskaitījumu. Šie secinājumu noteikumi bieži tiek izteikti, izmantojot simbolus un mainīgos lielumus, kas atspoguļo norādītos nosacījumus. Visplašāk tiek izmantoti daži pirmie grupas noteikumi. Modus ponens ir ja-tad arguments, kas apgalvo, ka, tā kā vienas lietas esamība, kas pazīstama kā lieta O, nozīmē, ka pastāv arī cita lieta, kas pazīstama kā lieta A, sākotnējās lietas esamība nozīmē, ka pēdējā lieta loģiski pastāv.

Otrs secinājumu noteikums ir Modus tollens, kas pazīstams arī kā sekas noliegšana. Saikļa ievads ir secinājums, kas nosaka, ka, ja R ir patiess un arī I ir patiess, tad R un A ir patiesi. Vienkāršošanas secinājums būtībā ir pretējs; tajā teikts, ka, ja A un R ir patiesi, tad A ir patiess un R ir patiess. Citi secinājumu noteikumi loģikā ietver disjunkcijas ievadu un izslēgšanu, disjunktīvo un hipotētisko siloģismu, kā arī divnosacījumu ievadīšanu un izslēgšanu, kā arī konstruktīvo un destruktīvo dilemmu.

Novērtējot argumentu, izmantojot secinājumu likumu, persona, kas novērtē argumentu, darbojas pēc principa, ka argumentētās premisas ir patiesas. Secinājumu noteikums ir viena no daudzām metodēm, ko izmanto informācijas apstrādē virknē apgalvojumu, lai noskaidrotu, vai informācija var būt patiesa. Šīs argumentu pierādīšanas metodes apguve ir noderīga testos, kuros galvenā uzmanība tiek pievērsta argumentu pārbaudei, piemēram, pārbaudēm, kas nepieciešamas, lai iestātos daudzās progresīvās grāda programmās, īpaši tiesību zinātnēs. Alternatīva argumentu derīguma novērtēšanas metode ir patiesības tabula.