Symboler

Question 1

Vad betyder “→”?

Answer 1

Om … så (implikation). Används för att visa att en slutsats följer från en premiss.

Question 2

Vad betyder “¬”?

Answer 2

Icke (negation). Används för att förneka en sats, t.ex. ¬A betyder “inte A”.

Question 3

Vad betyder “∧”?

Answer 3

Och (konjunktion). Används för att kombinera två premisser, t.ex. A ∧ B betyder “A och B”.

Question 4

Vad betyder “∨”?

Answer 4

Eller (disjunktion). Används för att uttrycka att minst en av två satser är sann, t.ex. A ∨ B betyder “A eller B”.

Question 5

Vad betyder “∀”?

Answer 5

För alla (universal kvantifierare). Används för att generalisera över alla objekt i en kategori, t.ex. ∀x P(x) betyder “för alla x gäller P(x)”.

Question 6

Vad betyder “∃”?

Answer 6

Det finns (existentiell kvantifierare). Används för att säga att det finns minst ett objekt i en kategori, t.ex. ∃x P(x) betyder “det finns ett x som uppfyller P(x)”.

Question 7

Vad betyder “⊢”?

Answer 7

Härleds logiskt. Visar att en slutsats följer av premisserna, t.ex. A ∧ B ⊢ C betyder “från A och B följer C”.

Question 8

Vad betyder “⊨”?

Answer 8

Är sant i alla modeller. T.ex. A ⊨ B betyder “om A är sant, måste B också vara sant”.