to je logika omg
nie logika je nieco ine, uvadzam kratku neformalnu definiciu
"Logika (gr. λόγος logos) je veda o zákonoch správneho myslenia. Skúma myslenie s cieľom vypracovať, explicitne formulovať pravidlá, ktoré by legitimovali naše myšlienkové postupy, čiže demonštrovali ich správnosť. Jednou z výskumných úloh logiky je získavať nové pravidlá odvodzovania."