Hvad er en logik Statement

? Erklæringer udgør grundlaget for udarbejdelsen gyldige konklusioner i logik , men matematik og filosofi også bruge logik erklæringer til at konstruere gyldige argumenter og drage konklusioner . Selvom det måske ikke synes ligesom det , når du er uden for et klasseværelse , du bruger logiske udsagn i daglig tale til at videreformidle information til andre mennesker og til at tegne dine egne conclusions.Logic Udtalelser

En erklæring er en sætning , der erklærer noget, og som kan verificeres som enten sande eller falske. Sentence fragmenter , spørgsmål og kommandoer er ikke logiske udsagn fordi de ikke er deklarativ , hele sætninger .

For eksempel, " bilnøglerne er i skuffen " er en logisk redegørelse , fordi det er en hel sætning og erklærer noget, der kan verificeres som sandt eller falsk . Du kan kontrollere at se, om noget er en logisk erklæring ved at tilføje " Det er rigtigt , at ..." til begyndelsen af sætningen. Hvis det stadig giver mening med "Det er rigtigt, at ... " foran det, er det en logisk erklæring
Betinget erklæring

En betinget logik erklæring er en erklæring , der er lavet af to forhold, hvor en betingelse afhænger på den anden. For hele betingede udsagn til at være sandt , skal den afhængige tilstand være sandt , når den anden er sandt For eksempel overveje følgende betingede udsagn : "Hvis jeg studere, så vil jeg få en god karakter . " Hvis du studere og få en god karakter , så den betingede udsagn er sandt ; Men hvis du studerer , og du ikke får en god karakter , så den betingede udsagn er falsk.

Brug af Logic Statements

Erklæringer i logik bruges til at drage gyldige konklusioner. En konklusion er gyldig, hvis alle de lokaler, der fører op til denne konklusion er sande. For eksempel overveje følgende udsagn : Hej

. " Hvis jeg studere, jeg får en god karakter "

. " Jeg studerede "

Hvis man antager, at studere garantier en god kvalitet , hvilket gør den første forudsætning sandt, og at du gjorde undersøgelsen , hvilket gør den anden forudsætning sandt, så kan du konkludere, at du har modtaget en god karakter .
Andre overvejelser

variable ofte bruges til nemt at se sammenhængen mellem to logiske udsagn uden at skulle omskrive hele erklæring , hver gang du ønsker at tale om forholdet mellem de to. For at gøre dette , er du nødt til at tildele variabler til hver af de udsagn . Fra eksemplet i afsnit 3 , de to erklæringer , der gøres , er: "Jeg studerer " og " jeg vil modtage en god karakter . " Lad P lige " Jeg studerer " og Q lige " Jeg får en god karakter " : Hej

Hvis P , Q

P derfor Q.