02 Utsagnslogikk

Question 1

utsagn

Answer 1

Et utsagn (eng: proposition) er noe som kan være sant eller usant. Dette noe kan være en setning, ytring eller meningsinnholdet til slike.

Question 2

utsagnsvariabel

Answer 2

En utsagnsvariabel (eng: propositional variable) er en variabel, P, Q, R, … eller liknende. En utsagnsvariabel er en atomær formel (eng: atomic formula).

Question 3

konnektiver

Answer 3

De logiske konnektivene (eng: logical connectives) er (blant andre) ¬, ∧, ∨ og →.

Question 4

utsagnslogiske formler

Answer 4

Enhvert atomær formel er en utsagnslogisk formel. Hvis F og G er utsagnslogiske formler, er også følgende utsagnslogiske formler:

• Negasjonen til F
• Konjunksjonen av F og G
• Disjunksjonen av F og G
• Implikasjonen mellom F og G

Question 5

negasjonen til F

Answer 5

¬F (ikke F)

Question 6

konjunksjonen av F og G

Answer 6

F ∧ G (F og G)

Question 7

disjunksjonen av F og G

Answer 7

F ∨ G (F eller G)

Question 8

implikasjonen mellom F og G

Answer 8

F → G (hvis F, så G)

Question 9

presedensregler for konnektivene

Answer 9

¬ binder sterkest
∧ binder svakere enn ¬
∨ binder svakere enn både ¬ og ∧
→ binder svakest