Čo je vyhlásenie Logic ?

Prehlásenie poskytujú základ pre čerpanie platné závery v logike , ale matematika a filozofia tiež použiť logické príkazy pre konštrukciu platné argumenty a vyvodenie záverov . Aj keď by sa mohlo zdať , keď ste mimo učebne , môžete použiť logické výroky v bežnom jazyku odovzdávať informácie ostatným ľuďom a vypracovať vlastnú conclusions.Logic Prehlásenie

prehlásenie je veta , ktorá vyhlasuje niečo, a ktorá môže byť overená buď true alebo false . Vetnej fragmenty , otázky a príkazy nie sú logické výroky, pretože nie sú deklaratívne , celé vety .

Napríklad " kľúče od auta sú v šuplíku " je logická tvrdenie , pretože je to celú vetu a vyhlasuje , niečo , čo môže byť overený ako true alebo false . Môžete skontrolovať , či je niečo logické vyhlásenie dodal : " Je pravda , že ... " na začiatku vety . Ak to ešte zmysel sa : " Je pravda , že ... " pred ním , je to logické tvrdenie
podmieneného príkazu

podmienečný logika tvrdenie je tvrdenie , že sa skladá z dvoch podmienok , keď jedna podmienka závisí na iných . Pre celý podmienený príkaz , aby to bola pravda , je závislá na stave bude pravda, keď druhý je pravda Uvažujme napríklad nasledujúce podmienený príkaz : " Keď som študoval , potom som sa dostať dobrú známku . " Ak budete študovať a získať dobrú známku , potom podmienené tvrdenie je pravdivé; Avšak, ak budete študovať , a nemusíte dostať dobrú známku , a potom podmienený príkaz je falošný .
Použitie logických uzávierky

Vyhlásenie v logike sa používajú k opodstatneným záverom . Záver je platný , ak všetky priestory , ktoré viedli k tomuto záveru , sú pravdivé . Zvážte napríklad nasledujúce príkazy : Prihlásiť

" . Keď študujem , som sa dostať dobrú známku "

" . Študoval som "

Ak sa domnievate , že štúdium záruky dobrá kvalita , takže prvá premisa pravdivá , a že ste štúdii , čo druhá premisa pravdivá , potom možno konštatovať , že ste dostali dobrú známku .
Ďalšie úvahy

Premenné sú často používané ľahko vidieť vzťah medzi dvoma logickými uzávierky , bez toho aby ste museli prepisovať celému výpisu zakaždým , keď chcete hovoriť o vzťahu medzi nimi . Ak to chcete urobiť , musíte priradiť premennej ku každému z vyhlásení . Z príkladu v kapitole 3 sú dva príkazy sú vyrobené , sú : " študujem " a "ja dostane dobrú známku . " Nech P presne " študujem " a Q rovnať " Prijmem dobrú známku " : Prihlásiť

Ak P , potom Q

P , teda , Q.