Obsah
Problém s otráveným mlékem, který pomůže zlepšit vaše logické myšlení
logika, Studium inference a argumentace. Závěry jsou kroky řízené pravidly od jedné nebo více vět, známých jako premisy, k další větě, nazývané závěr. Deduktivní dedukce je závěr, který musí být platný, zatímco platná inference je závěr, ve kterém závěr musí být pravdivý, pokud jsou pravdivé premisy ( cm. Dedukce; spolehlivost). Všechny ostatní závěry se nazývají induktivní ( cm. indukce). V užším smyslu je logika studiem deduktivního uvažování. V ještě užším smyslu je to studium inferencí, které závisí na konceptech vyjádřených „logickými konstantami“, včetně: (1) výrokových spojek jako „ne“, (symbolizováno jako ¬), „and“ (symbolizováno jako ∧) , „nebo“ (označené jako ∨) a „if-then“ (označené jako ⊃), (2) existenciální a univerzální kvantifikátory, „(∃x)“ a „(∀x)“, jsou často překládány do angličtiny jako “ Existuje takový x , že. “ a „Pro kohokoli (každého) x , …“ respektive (3) koncept identity (vyjádřený znakem „=“) a (4) nějaký koncept predikace. Studium pouze logických konstant v (1) je známé jako výrokový počet; studium (1)–(4) se nazývá predikátový počet prvního řádu s jednotou. Logická forma věty je entita získaná nahrazením všech nelogických pojmů ve větě proměnnými. Studium vztahů mezi takovými nevysvětlitelnými formulemi se nazývá formální logika. См. также deontická logika; modální logika.
Králíci a otrávené mléko
Dostali jste 1000 lahví mléka, z nichž jedna byla otrávená, a 10 králíků na pokusy. Každého králíka lze krmit z libovolného počtu lahví a z každé lahve lze krmit libovolný počet králíků.
Jed v otrávené lahvičce působí pomalu: když ho teď dáte králíkovi, třetí den zemře. Třetí den může králík umřít kdykoli, bez ohledu na to, jakým množstvím jedu ho dnes krmíte.
Čtvrtý den od začátku experimentu musíte odpovědět, která z 1000 lahviček obsahuje jed.
Kategorie: Matematika
15.05.2018 14: 20