Hva er en logikk Erklæring

? Uttalelsene gir grunnlag for å trekke gyldige konklusjoner i logikk , men matematikk og filosofi også bruke logikk uttalelser for å konstruere gyldige argumenter og trekke konklusjoner . Selv om det ikke kan virke som det når du er utenfor et klasserom , bruker du logikk uttalelser i dagligtalen for å formidle informasjon til andre mennesker og til å trekke dine egne conclusions.Logic Statements

En uttalelse er en setning som erklærer noe og som kan verifiseres som enten sant eller usant . Setning fragmenter , spørsmål og kommandoer er ikke logiske utsagn fordi de ikke er deklarative , fullstendige setninger .

For eksempel " bilnøklene er i skuffen " er en logikk uttalelse fordi det er en fullstendig setning og erklærer noe som kan bekreftes som sanne eller usanne. Du kan sjekke for å se om noe er en logisk uttalelse ved å legge til " Det er sant at ... " til begynnelsen av setningen. Hvis det fortsatt er fornuftig med " Det er sant at ... " foran det, er det en logisk uttalelse
Betinget Statement

En betinget logikk uttalelsen er en utsagn som er satt sammen av to forhold, der én betingelse avhenger av den andre. For hele betinget utsagnet er sant , må den avhengige tilstanden være sant når den andre er sant For eksempel vurdere følgende betinget utsagn: «Hvis jeg studerer , så vil jeg få en god karakter . " Hvis du studerer og få en god karakter , betyr uttrykket er sant; Men hvis du studerer og du ikke får en god karakter , betyr uttrykket er usant .

Bruk av Logic Uttalelser

Uttalelser i logikk brukes til å trekke gyldige konklusjoner. En konklusjon er gyldig hvis alle av lokalene frem til denne konklusjonen er sanne. For eksempel vurdere følgende utsagn :

". Hvis jeg studerer , jeg vil få en god karakter "

". Jeg studerte "

Hvis du antar at det å studere garantier en god karakter , noe som gjør den første premiss sant, og at du gjorde studien, noe som gjør det andre premisset er sant, så kan du konkludere med at du fikk en god karakter .
Andre hensyn

Variabler brukes ofte for enkelt å se sammenhengen mellom to logiske utsagn uten å måtte skrive hele setningen hver gang du ønsker å snakke om forholdet mellom de to. For å gjøre dette , må du tilordne variabler til hvert av utsagnene . Fra eksemplet i § 3 , de to uttalelser blir gjort er: "Jeg studerer " og "Jeg vil motta en god karakter . " La P lik "Jeg studerer " og Q lik "Jeg vil få en god karakter " :

Hvis P , så Q

P derfor Q.