Gå til indhold
Logik lommeregner
Lommeregner
Syntese
Lær
Øvelser
Vælg tema:
System
Vælg sprog:
🇩🇰
Dansk
Menu
Lommeregner
Syntese
Lær
Øvelser
Tema
Vælg tema:
System
Sprog
Vælg sprog:
🇩🇰
Dansk
←
Tilbage til Øvelser
0:00
Begynder
Propositionslogik
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
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
