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 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
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:
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
