Logikk Øvelser

Flervalgsoppgaver, utfylling av sannhetstabeller, forenkling, ekvivalenssjekker, inntasting og evaluering av uttrykk, og bevis — inkludert å fullføre bevis og en bevisbygger med dra og slipp. De er gruppert i utsagnslogikk, boolsk algebra, sannhetstabeller, logisk ekvivalens, predikatlogikk og naturlig deduksjon, og du kan filtrere på kategori, type, vanskegrad og etikett.

Hva betyr vanskegradene?

Det er fire: nybegynner, middels, viderekommen og ekspert. De beskriver hvor mye man må kunne, ikke hvor lang tid oppgaven tar; hver oppgave viser dessuten anslått tid og poengene den er verdt.

Hva er en treningsøkt?

En serie oppgaver på én vanskegrad, om du vil avgrenset til kategoriene og typene du vil jobbe med. Den holder poeng underveis og oppsummerer til slutt hvordan det gikk, og tilbyr neste nivå når det finnes et.

Hvordan sjekkes svarene mine?

I nettleseren din, av den samme motoren som driver kalkulatoren. De fleste oppgavetypene sammenligner svaret ditt med det forventede etter at mellomrom og notasjon er normalisert; ved inntasting av uttrykk går den lenger og sjekker logisk ekvivalens, slik at en formel skrevet annerledes, men med samme betydning, likevel teller som riktig. Hver oppgave har en forklaring som vises når du har svart.

Kan jeg få et hint hvis jeg står fast?

Ja, der oppgaven har ett: et hint du kan folde ut uten å røpe svaret. Holder det ikke, er guiden om emnet som regel den raskeste veien videre — oppgavekategoriene og guidene følger de samme emnene.

Se alle spørsmål

Trening

Hva er resultatet av: sann OG usann?

Hva er resultatet av: usann ELLER sann?

Hva er resultatet av: IKKE sann?

Arranger følgende steg i riktig rekkefølge for å bevise Q fra de gitte premissene. Mål: Bevis Q

Evaluer følgende uttrykk: P ∧ Q når P = sann og Q = sann

Evaluer følgende uttrykk: P ∨ Q når P = usann og Q = sann

Fyll inn de manglende begrunnelsene for dette beviset. Mål: Bevis Q

Uttrykk følgende utsagn ved hjelp av logiske symboler: "Hvis det regner, er bakken våt" Bruk: - R for "det regner" - W for "bakken er våt" - → for implikasjon Skriv inn svaret ditt ved hjelp av symbolene som er tilgjengelige i kalkulatoren.

Uttrykk følgende utsagn ved hjelp av logiske symboler: "Det er solrikt og varmt" Bruk: - S for "det er solrikt" - W for "det er varmt" - ∧ for konjunksjon (and) Skriv inn svaret ditt ved å bruke symbolene som er tilgjengelige i kalkulatoren.

Uttrykk følgende utsagn ved hjelp av logiske symboler: "Jeg skal studere matte eller fysikk" Bruk: - M for "Jeg skal studere matte" - P for "Jeg skal studere fysikk" - ∨ for disjunksjon (or) Skriv inn svaret ditt ved hjelp av symbolene som er tilgjengelige i kalkulatoren.

Uttrykk følgende utsagn ved hjelp av logiske symboler: "Det regner ikke" Bruk: - R for "det regner" - ¬ for negasjon (ikke) Skriv inn svaret ditt ved hjelp av symbolene som er tilgjengelige i kalkulatoren.

Uttrykk følgende utsagn ved hjelp av logiske symboler: "Alarmen ringer hvis og bare hvis bevegelse detekteres" Bruk: - A for "alarmen ringer" - M for "bevegelse detekteres" - ↔ for bikondisjonal (hvis og bare hvis) Skriv inn svaret ditt ved å bruke symbolene som er tilgjengelige i kalkulatoren.

Bla Gjennom etter Kategori

Boolsk Algebra

Logisk Ekvivalens

Proposisjonslogikk

Sannhetstabeller

Bla Gjennom etter Vanskelighetsgrad

Nybegynner

Mellom

Avansert

Ekspert

Bla Gjennom etter Type

Flervalg

Forenkling

Ekvivalenssjekk

Dra og Slipp Bevis

Uttrykks Evaluering

Bevis Fullføring

Bevis

Uttrykk Inndata

Sannhetstabell

Ofte stilte spørsmål