Ett uttalande är en mening som förklarar något och som kan verifieras antingen sant eller falskt . Mening fragment, frågor och kommandon är inte logiska uttalanden eftersom de inte är deklarativ , fullständiga meningar .
Till exempel " nycklar Bilen är i lådan " är en logisk förklaring , eftersom det är en hel mening och förklarar något som kan verifieras som sant eller falskt . Du kan kontrollera om något är en logisk förklaring genom att lägga till " Det är sant att ... " i början av meningen . Om det fortfarande är meningsfullt med " Det är sant att ... " framför det, det är en logisk förklaring
Villkorlig Statement
En villkorslogik uttalande är en uttalande som är består av två villkor , där ett villkor är beroende av den andra. För hela villkorssats för att vara sant , måste den beroende villkoret vara sant när den andra är sant till exempel överväga följande villkorssats : " Om jag studerar , då jag kommer att få ett bra betyg . " Om du studerar och få ett bra betyg , då villkorssats är sant; Men om du studerar och du inte får en bra kvalitet , då villkorssats är falskt . Addera Användning av Logic Uttalanden
Uttalanden i logik används för att dra välgrundade slutsatser . En slutsats är giltigt om samtliga lokaler som ledde fram till denna slutsats är sanna . Till exempel anser följande uttalanden :
" . Om jag studerar , jag kommer att få ett bra betyg "
" . Jag studerade "
Om du antar att studera garantier en god kvalitet , vilket gör den första förutsättningen sant, och att du gjorde studien , vilket gör den andra premissen sant, då kan du dra slutsatsen att du fick ett bra betyg.
Andra överväganden
Variabler används ofta för att enkelt se sambandet mellan två logiska förklaringar utan att behöva skriva om hela uttalandet varje gång du vill prata om förhållandet mellan de två. För att göra detta måste du tilldela variabler vardera uttalanden. Från exemplet i avsnitt 3 , de två uttalanden som görs är : " Jag studerar " och " Jag kommer att få ett bra betyg. " Låt P lika " Jag studerar " och Q lika " Jag kommer att få ett bra betyg " :
If , då är Q
P därför Q.