2. Izjavni račun

Question 1

Kaj je tavtologija?

Answer 1

Tavtologija je v logiki stavek, ki je resničen ne glede na to, kakšno resničnostno vrednost zavzemajo njegovi avtonomni stavki.

Question 2

Kaj je implikacija?

Answer 2

Implikacija izjav je sestavljena izjava ‘iz A sledi B’, kar označimo A==>B. Rečemo če velja A, tedaj velja tudi B. Izjava A je pogoj, B pa posledica. Implikacija je nepravilna le, ko je A pravilen in B nepravilen.

Question 3

Kaj je ekvivalenca? Predstavite primer ekvivalence, ki je pravilna.

Answer 3

Ekvivalenca izjav je sestavljena izjava ‘A natanko tedaj ko B’, kar označimo kot A<==>B, pogosto rečemo A če in samo če B.

Question 4

Dokažite, da je izjava A==>B enakovredna izjavi B’==>A’

Answer 4

na listu