Príklad logického vyvodenia

The logická inferencia je to obmedzený proces uvažovania, procesný záver, ktorý vychádza z precedensu ako základu pre konečný záver.

Logicky počiatočná myšlienka určuje smer, ktorým sa treba riadiť, pozostávajúci zo série usporiadaných krokov, ktoré tu vysvetlíme:

1. Z toho vyplýva, že na dosiahnutie záveru musíte mať určité poradie: A, B, C. Ak dôjde k zmene tohto poradia, môžete dospieť k nesprávnemu záveru.
2. Je to myseľ, ktorá ustanovuje logické hodnotenie konceptov, ktoré vám umožňujú dospieť k záveru.
3. V závislosti od poradia alebo umiestnenia môžu tieto myšlienky vyvolať myšlienky, ktoré síce môžu byť prepojené, ale môžu viesť k inému záveru, ako sa pôvodne očakávalo.

Malo by sa objasniť, že pôvodná premisa môže byť nepravdivá, dá úplnú logickú inferenciu, ale s nesprávnym záverom

Je to teda tak, že pri tomto type uvažovania musí byť pravdivosť overená prostredníctvom úplného sylogizmu, ktorý je oddelený od základnej logickej inferencie.

Je zrejmé, že logická inferencia zostáva formálnym zdôvodnením, ktoré sa nezakladá na cieli, ale na vzťahu premís.

Inferenčné znázornenie

Závery sú opísané symbolmi. Počiatočné priestory sú označené písmenom P sekundárne priestory s listom čo a záver trojbodovým symbolom (.·.)

Príklad logickej inferencie:

Logický záver so skutočnou základňou

1. Muži zomierajú = predpoklad 1 = str
2. Ernesto je muž = predpoklad 2 = q
3. Preto Ernesto zomiera = záver =. ·.

1. Všetky matematické knihy sú nudné
2. Toto je matematická kniha
3. Toto je nudná kniha

1. Deti vyrastajú
2. Ana je dievča
3. Ana vyrastie

1. Kto pracuje, vyhráva
2. pracujem
3. Preto niečo vyhrám

Logická inferencia s nesprávnym počiatočným predpokladom

1. Mačky lietajú
2. Toto je mačka
3. Táto mačka môže lietať

1. Ošípané sa potia
2. Chocho je prasa
3. Pussy sa veľmi potí

1. Bábika je vyrobená z plastu
2. Mám v ruke bábiku
3. Moja ruka je vyrobená z plastu