Co je prohlášení Logic ?

Prohlášení poskytují základ pro čerpání platné závěry v logice , ale matematika a filozofie také použít logické příkazy pro konstrukci platné argumenty a vyvození závěrů . I když by se mohlo zdát , když jste mimo učebny , můžete použít logické výroky v běžném jazyce předávat informace ostatním lidem a vypracovat vlastní conclusions.Logic Prohlášení

prohlášení je věta , která prohlašuje něco, a která může být ověřena buď true nebo false. Větné fragmenty , otázky a příkazy nejsou logické výroky , protože nejsou deklarativní , celé věty .

Například " klíče od auta jsou v šuplíku " je logická tvrzení , protože je to celou větu a prohlašuje, něco, co může být ověřen jako true nebo false. Můžete zkontrolovat , zda je něcologické prohlášení dodal: " Je pravda, že ... " na začátku věty . Pokud to ještě smysl se : "Je pravda, že ... " před ním , je to logické tvrzení
podmíněného příkazu

podmíněný logika tvrzení je tvrzení, že se skládá ze dvou podmínek , kdy jedna podmínka závisí na jiných . Pro celý podmíněný příkaz , aby to byla pravda , jezávislá na stavu bude pravda, kdyždruhý je pravda Zvažte například následující podmíněný příkaz : "Když jsem studoval , pak jsem se dostat dobrou známku . " Pokud budete studovat a získat dobrou známku , pak podmíněné tvrzení je pravdivé; Nicméně , pokud budete studovat , a nemusíte dostat dobrou známku , a pakpodmíněný příkaz je falešný.
Použití logických závěrky

Prohlášení v logice se používají k platným závěrům . Závěr je platný, pokud všechny prostory , které vedly k tomuto závěru, jsou pravdivé. Zvažte například následující příkazy : Přihlásit

" . Když studuji , jsem se dostat dobrou známku "

" . Studoval jsem "

Pokud se domníváte, že studium záruky dobrá kvalita , takže první premisa pravdivá, a že jste studii , coždruhá premisa pravdivá, pak lze konstatovat, že jste obdrželi dobrou známku .
Další úvahy

Proměnné jsou často používány snadno vidět vztah mezi dvěma logickými závěrky , aniž byste museli přepisovat celému výpisu pokaždé, když chcete mluvit o vztahu mezi nimi. Chcete-li to provést , musíte přiřadit proměnné ke každému z prohlášení . Z příkladu v kapitole 3 jsou dva příkazy jsou vyrobeny , jsou : " studuji " a "já obdrží dobrou známku . " Nechť P rovno " studuji " a Q rovnat " Přijmu dobrou známku " : Přihlásit

Pokud P , pak Q

P, tedy , Q.