Logikøvelser

Multiple choice, udfyldning af sandhedstabeller, forenkling, ækvivalenstjek, indtastning og evaluering af udtryk samt beviser — herunder færdiggørelse af beviser og en bevisbygger med træk og slip. De er grupperet i udsagnslogik, boolesk algebra, sandhedstabeller, logisk ækvivalens, prædikatlogik og naturlig deduktion, og du kan filtrere på kategori, type, sværhedsgrad og mærkat.

Hvad betyder sværhedsgraderne?

Der er fire: begynder, øvet, avanceret og ekspert. De beskriver, hvor meget man skal kunne, snarere end hvor lang tid øvelsen tager; hver øvelse viser desuden en anslået tid og de point, den er værd.

Hvad er en træningssession?

En række øvelser på ét sværhedsniveau, om ønsket afgrænset til de kategorier og typer, du vil arbejde med. Den holder point undervejs og opsummerer til sidst, hvordan det gik, og tilbyder det næste niveau, når der er et.

Hvordan tjekkes mine svar?

I din browser, af den samme maskine, der driver beregneren. De fleste øvelsestyper sammenligner dit svar med det forventede, efter at mellemrum og notation er ensrettet; ved indtastning af udtryk går den videre og tjekker logisk ækvivalens, så en formel skrevet anderledes, men med samme betydning, stadig tæller som rigtig. Hver øvelse har en forklaring, som vises, når du har svaret.

Kan jeg få et hint, hvis jeg går i stå?

Ja, hvor en øvelse har et: et hint, du kan folde ud uden at afsløre svaret. Rækker det ikke, er guiden om emnet som regel den hurtigste vej videre — øvelseskategorierne og guiderne følger de samme emner.

Se alle spørgsmål

Træning

Hvad er resultatet af: sand OG falsk?

Hvad er resultatet af: falsk ELLER sand?

Hvad er resultatet af: IKKE sand?

Arrangér følgende trin i den korrekte rækkefølge for at bevise Q ud fra de givne præmisser. Mål: Bevis Q

Evaluer følgende udtryk: P ∧ Q når P = sand og Q = sand

Evaluer følgende udtryk: P ∨ Q når P = falsk og Q = sand

Udfyld de manglende begrundelser for dette bevis. Mål: Bevis Q

Udtryk følgende udsagn ved hjælp af logiske symboler: "Hvis det regner, så er jorden våd" Brug: - R for "det regner" - W for "jorden er våd" - → for implikation Indtast dit svar ved hjælp af symbolerne tilgængelige i lommeregneren.

Udtryk følgende udsagn ved hjælp af logiske symboler: "Det er solrigt og varmt" Brug: - S for "det er solrigt" - W for "det er varmt" - ∧ for konjunktion (and) Indtast dit svar ved hjælp af de symboler, der er tilgængelige i lommeregneren.

Udtryk følgende udsagn ved hjælp af logiske symboler: "Jeg vil studere matematik eller fysik" Brug: - M for "Jeg vil studere matematik" - P for "Jeg vil studere fysik" - ∨ for disjunktion (or) Indtast dit svar ved hjælp af de symboler, der er tilgængelige i lommeregneren.

Udtryk følgende udsagn ved hjælp af logiske symboler: "Det regner ikke" Brug: - R for "det regner" - ¬ for negation (ikke) Indtast dit svar ved hjælp af de symboler, der er tilgængelige i lommeregneren.

Udtryk følgende udsagn ved hjælp af logiske symboler: "Alarmen ringer hvis og kun hvis bevægelse detekteres" Brug: - A for "alarmen ringer" - M for "bevægelse detekteres" - ↔ for bikonditional (hvis og kun hvis) Indtast dit svar ved hjælp af de symboler, der er tilgængelige i lommeregneren.

Gennemse efter Kategori

Boolesk Algebra

Logisk Ækvivalens

Propositionslogik

Sandhedstabeller

Gennemse efter Sværhedsgrad

Begynder

Mellemliggende

Avanceret

Ekspert

Gennemse efter Type

Flervalg

Simplifikation

Ækvivalenscheck

Træk og Slip Bevis

Udtryksevaluering

Bevisfuldførelse

Bevis

Udtryk Input

Sandhedstabel

Ofte stillede spørgsmål