Logikövningar

Öva och förbättra dina logikfärdigheter med interaktiva övningar som täcker boolesk algebra, propositionslogik, sanningsvärdestabeller och mer.

Träning

Öva övningar sekventiellt baserat på dina nuvarande filter och sorteringsinställningar. Perfekt för systematiskt lärande och färdighetsutveckling.

Sekvensiell övning
Spåra din framsteg
Lär dig i din egen takt
Svårighetsgrad: NybörjareKategori: PropositionslogikTyp: Uttrycksinmatning

Uttryck 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.

Svårighetsgrad: NybörjareKategori: PropositionslogikTyp: Uttrycksinmatning

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.

Svårighetsgrad: NybörjareKategori: PropositionslogikTyp: Uttrycksinmatning

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.

Svårighetsgrad: NybörjareKategori: PropositionslogikTyp: Uttrycksinmatning

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.

Vanliga frågor

Hitta svar på vanliga frågor om hur Logikkalkylatorn används

Vilka slags övningar finns det?

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.

Vad betyder svårighetsgraderna?

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.

Vad är ett träningspass?

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.

Hur kontrolleras mina svar?

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.

Kan jag få en ledtråd om jag kör fast?

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.

Se alla frågor