Gå til indhold
Logik lommeregner
Lommeregner
Syntese
Lær
Ordbog
Øvelser
Vælg tema:
System
Vælg sprog:
🇩🇰
Dansk
Menu
Lommeregner
Syntese
Lær
Ordbog
Øvelser
Tema
Vælg tema:
System
Sprog
Vælg sprog:
🇩🇰
Dansk
←
Tilbage til Øvelser
0:00
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Hvad står symbolerne
⊤
og
⊥
for?
P ∧ ⊤
To udsagnsvariable
Konstanterne sand (⊤) og falsk (⊥)
Konjunktion og disjunktion
Begyndelsen og slutningen af et bevis
Få Hint
Start Træning herfra
Indsend
Lær teorien
Guiderne, der forklarer det, du øver her.
Introduktion til Propositionskalkyle
→
Lær om propositioner, sandhedstabeller, logiske operatorer, og hvordan man konstruerer og evaluerer logiske udtryk i propositionel logik.
Relaterede Øvelser
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Hvordan grupperes formlen ¬P ∧ Q?
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Hvad betyder symbolet ⊨ i P → Q, P ⊨ Q?
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Dit tastatur har ingen piletast til →. Hvad skriver du i beregneren for at…
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Udtryksevaluering
Evaluer følgende udtryk: P ∧ Q når P = sand og Q = sand
←
Forrige
Hvilket af disse symboler læses "hvis og kun hvis"?
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Næste
→
Hvilken sætning siger det samme som ¬(P ∧ Q)?
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
