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.