Hoppa till innehåll
Logikkalkylator
Kalkylator
Syntes
Lära sig
Övningar
Välj tema:
System
Välj språk:
🇸🇪
Svenska
Meny
Kalkylator
Syntes
Lära sig
Övningar
Tema
Välj tema:
System
Språk
Välj språk:
🇸🇪
Svenska
←
Tillbaka till Övningar
0:00
Nybörjare
Propositionslogik
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
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