Vad är resultatet av: sann OCH falsk?
sann ∧ falskÖva och förbättra dina logikfärdigheter med interaktiva övningar som täcker boolesk algebra, propositionslogik, sanningsvärdestabeller och mer.
Öva övningar sekventiellt baserat på dina nuvarande filter och sorteringsinställningar. Perfekt för systematiskt lärande och färdighetsutveckling.
Vad är resultatet av: sann OCH falsk?
sann ∧ falskVad är resultatet av: falsk ELLER sann?
falsk ∨ sannVad blir resultatet av: INTE sann?
¬sannOrdna följande steg i rätt ordning för att bevisa Q från de givna premisserna. Mål: Bevisa Q
P → Q, P ⊢ QUtvärdera följande uttryck: P ∧ Q när P = sann och Q = sann
P ∧ Q where P = ⊤, Q = ⊤Utvärdera följande uttryck: P ∨ Q när P = falsk och Q = sann
P ∨ Q where P = ⊥, Q = ⊤Fyll i de saknade motiveringarna för detta bevis. Mål: Bevisa Q
P → Q, P ⊢ QUttryck följande påstående med logiska symboler: "Om det regnar, då är marken våt" Använd: - R för "det regnar" - W för "marken är våt" - ** → ** för implikation Ange ditt svar med symbolerna som finns tillgängliga i kalkylatorn.
Uttryck följande påstående med logiska symboler: "Det är soligt och varmt" Använd: - S för "det är soligt" - W för "det är varmt" - ** ∧ ** för konjunktion (and) Ange ditt svar med symbolerna som finns tillgängliga i kalkylatorn.
Uttryck följande påstående med hjälp av logiska symboler: "Jag kommer att studera matematik eller fysik" Använd: - M för "Jag kommer att studera matematik" - P för "Jag kommer att studera fysik" - ** ∨ ** för disjunktion (eller) Ange ditt svar med hjälp av symbolerna som finns tillgängliga i kalkylatorn.
Uttryck följande påstående med logiska symboler: "Det regnar inte" Använd: - R för "det regnar" - ¬ för negation (inte) Ange ditt svar med symbolerna som finns tillgängliga i kalkylatorn.
Uttryck följande påstående med logiska symboler: "Larmet ringer om och endast om rörelse detekteras" Använd: - A för "larmet ringer" - M för "rörelse detekteras" - ** ↔ ** för bikonditional (om och endast om) Ange ditt svar med hjälp av symbolerna som finns tillgängliga i kalkylatorn.
Bemästra grunderna i boolesk algebra inklusive grundläggande operationer, lagar och förenklingsstekniker.
Lär dig att identifiera och bevisa logiska ekvivalenser med olika metoder.
Utforska propositionslogik med implikationer, bivillkor och komplexa logiska relationer.
Öva att skapa och analysera sanningsvärdestabeller för olika logiska uttryck.
Grundläggande begrepp och enkla tillämpningar - perfekt för att komma igång.
Mer komplexa problem som kräver förståelse för flera begrepp.
Utmanande övningar som testar djup förståelse och tillämpningsfärdigheter.
Expertnivåproblem för de som har bemästrat grunderna.
Välj rätt svar.
Förenkla ett logiskt uttryck.
Jämför två logiska uttryck.
Ordna om bevissteg i rätt ordning.
Utvärdera sanningsvärdet av ett uttryck.
Fyll i saknade steg i ett delvis bevis.
Konstruera ett steg-för-steg bevis.
Skriv ett logiskt uttryck.
Skapa en fullständig sanningsvärdestabell.
Hitta svar på vanliga frågor om hur Logikkalkylatorn används
Flervalsfrågor, ifyllnad av sanningstabeller, förenkling, ekvivalenskontroller, inmatning och utvärdering av uttryck samt bevis — inklusive att slutföra bevis och en bevisbyggare med dra och släpp. De är grupperade i satslogik, boolesk algebra, sanningstabeller, logisk ekvivalens, predikatlogik och naturlig deduktion, och du kan filtrera på kategori, typ, svårighetsgrad och etikett.
Det finns fyra: nybörjare, medel, avancerad och expert. De beskriver hur mycket man behöver kunna snarare än hur lång tid övningen tar; varje övning visar dessutom en uppskattad tid och de poäng den är värd.
En omgång övningar på en och samma svårighetsgrad, om du vill avgränsad till de kategorier och typer du vill arbeta med. Den håller poäng under tiden och sammanfattar till slut hur det gick, samt erbjuder nästa svårighetsgrad när det finns en.
I din webbläsare, av samma motor som driver kalkylatorn. De flesta övningstyper jämför ditt svar med det förväntade efter att mellanslag och notation normaliserats; vid inmatning av uttryck går den längre och kontrollerar logisk ekvivalens, så en formel som skrivits annorlunda men betyder samma sak räknas ändå som rätt. Varje övning har en förklaring som visas när du har svarat.
Ja, där övningen har en: en ledtråd du kan fälla ut utan att avslöja svaret. Räcker den inte är guiden om ämnet oftast den snabbaste vägen vidare — övningskategorierna och guiderna följer samma ämnen.