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 står symbolerna
⊤
och
⊥
för?
P ∧ ⊤
Två satsvariabler
Konstanterna sant (⊤) och falskt (⊥)
Konjunktion och disjunktion
Början och slutet på ett bevis
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:
Flerval
Hur grupperas formeln ¬P ∧ Q?
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
Vad betyder symbolen ⊨ i P → Q, P ⊨ Q?
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
Ditt tangentbord har ingen piltangent för →. Vad skriver du i kalkylatorn för…
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Uttrycksutvärdering
Utvärdera följande uttryck: P ∧ Q när P = sann och Q = sann
←
Föregående
Vilken av dessa symboler läses "om och endast om"?
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
Nästa
→
Vilken mening säger samma sak som ¬(P ∧ Q)?
Svårighetsgrad:
Nybörjare
Kategori:
Propositionslogik
Typ:
Flerval
