Gå til innhold
Logikkalkulator
Kalkulator
Syntese
Lære
Ordbok
Øvelser
Velg tema:
System
Velg språk:
🇳🇴
Norsk
Meny
Kalkulator
Syntese
Lære
Ordbok
Øvelser
Tema
Velg tema:
System
Språk
Velg språk:
🇳🇴
Norsk
←
Tilbake til Øvelser
0:00
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
Hva står symbolene
⊤
og
⊥
for?
P ∧ ⊤
To utsagnsvariabler
Konstantene sann (⊤) og usann (⊥)
Konjunksjon og disjunksjon
Begynnelsen og slutten på et bevis
Få Hint
Start Trening herfra
Send Inn
Lær teorien
Guidene som forklarer det du øver på her.
Introduksjon til Proposisjonskalkulus
→
Lær om proposisjoner, sannhetstabeller, logiske operatorer og hvordan du konstruerer og evaluerer logiske uttrykk i proposisjonslogikk.
Relaterte Øvelser
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
Hvordan grupperes formelen ¬P ∧ Q?
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
Hva betyr symbolet ⊨ i P → Q, P ⊨ Q?
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
Tastaturet ditt har ingen piltast for →. Hva skriver du i kalkulatoren for å…
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Uttrykks Evaluering
Evaluer følgende uttrykk: P ∧ Q når P = sann og Q = sann
←
Forrige
Hvilket av disse symbolene leses "hvis og bare hvis"?
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
Neste
→
Hvilken setning sier det samme som ¬(P ∧ Q)?
Vanskelighetsgrad:
Nybegynner
Kategori:
Proposisjonslogikk
Type:
Flervalg
