Hoppa till innehåll
Logikkalkylator
Kalkylator
Syntes
Lära sig
Ordlista
Övningar
Välj tema:
System
Välj språk:
🇸🇪
Svenska
Meny
Kalkylator
Syntes
Lära sig
Ordlista
Övningar
Tema
Välj tema:
System
Språk
Välj språk:
🇸🇪
Svenska
←
Tillbaka till Övningar
0:00
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
Vad betyder symbolen
⊨
i
P → Q, P ⊨ Q
?
P → Q, P ⊨ Q
Premisserna till vänster medför slutsatsen till höger
De två sidorna är samma formel
Allt till vänster är falskt
Det skiljer två formler utan samband
Få Tips
Starta Träning härifrån
Skicka in
Lär dig teorin
Guiderna som förklarar det du övar på här.
Introduktion till Propositionskalkyl
→
Lär dig om propositioner, sanningsta beller, logiska operatorer och hur man konstruerar och utvärderar logiska uttryck i propositionell logik.
Relaterade Övningar
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Uttrycksutvärdering
Utvärdera följande uttryck: P ∧ Q när P = sann och Q = sann
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Uttrycksutvärdering
Utvärdera följande uttryck: P ∨ Q när P = falsk och Q = sann
Svårighetsgrad:
Mellanliggande
Kategori:
Propositionslogik
Typ:
Uttrycksutvärdering
Utvärdera följande uttryck: P → Q när P = sann och Q = falsk
Svårighetsgrad:
Mellanliggande
Kategori:
Propositionslogik
Typ:
Uttrycksutvärdering
Utvärdera följande uttryck: (P ∧ Q) ∨ R när P = sann, Q = falsk, och R = sann
←
Föregående
Hur grupperas formeln ¬P ∧ Q?
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
Nästa
→
Ditt tangentbord har ingen piltangent för →. Vad skriver du i kalkylatorn för…
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
