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 betyder symbolet
⊨
i
P → Q, P ⊨ Q
?
P → Q, P ⊨ Q
Præmisserne til venstre medfører konklusionen til højre
De to sider er den samme formel
Alt til venstre er falsk
Det adskiller to formler uden sammenhæng
Få Hint
Start Træning herfra
Indsend
Relaterede Øvelser
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Udtryksevaluering
Evaluer følgende udtryk: P ∧ Q når P = sand og Q = sand
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Udtryksevaluering
Evaluer følgende udtryk: P ∨ Q når P = falsk og Q = sand
Sværhedsgrad:
Mellemliggende
Kategori:
Propositionslogik
Type:
Udtryksevaluering
Evaluer følgende udtryk: P → Q når P = sand og Q = falsk
Sværhedsgrad:
Mellemliggende
Kategori:
Propositionslogik
Type:
Udtryksevaluering
Evaluer følgende udtryk: (P ∧ Q) ∨ R når P = sand, Q = falsk, og R = sand
←
Forrige
Hvordan grupperes formlen ¬P ∧ Q?
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
Næste
→
Dit tastatur har ingen piletast til →. Hvad skriver du i beregneren for at…
Sværhedsgrad:
Begynder
Kategori:
Propositionslogik
Type:
Flervalg
