Dopolni pravilnostno tabelo za implikacijo:

Preveri

Poglejmo si primer implikacije iz vsakdanjega življenja. Učitelj svojim dijakom obljubi:

Če boste vsi naredili maturo, potem vas peljem na pico.

Kdaj je ta izjava pravilna?

• Če vsi dijaki maturo opravijo

  1. in jih učitelj pelje na pico, je izjava pravilna; učitelj je "mož beseda".
  2. in jih učitelj ne pelje na pico, je izjava nepravilna; učitelj je "figa mož".
     
     

• V primeru, da mature ne opravijo vsi dijaki,

  1. učitelj pa jih vseeno pelje na pico, je izjava vseeno pravilna; le učitelj je "nedosleden".
  2. učitelj pa jih ne pelje na pico, je izjava spet pravilna; učitelj je tokrat "dosleden".
     
     

Dopolni pravilnostno tabelo za ekvivalenco:

Preveri

Strnimo vse pravilnostne tabele v eno:

Podobno kot pri računskih operacijah v številskih množicah tudi pri operacijah med izjavam z oklepaji določimo vrstni red izvajanja operacij. Če oklepajev ni, je prioritetni vrstni red naslednji: najvišjo prioriteto ima negacija, po vrsti sledijo konjunkcija, disjunkcija, implikacija in ekvivalenca. Pri hkratnem izvajanju enake izjavne povezave velja pravilo združevanja od leve proti desni.

V sestavljeni izjavi z oklepaji nakažimo vrstni red izjavnih povezav:

S pomočjo pravilnostne tabele določi logične vrednosti sestavljene izjave:

Preveri

S pomočjo pravilnostne tabele ugotovi, kdaj je sestavljena izjava

pravilna in kdaj nepravilna.

Preveri

Z oklepaji določi vrstni red operacij:

a)

b)

Preveri

Dane so izjave:

A: 1 je praštevilo.

B: Najmanjše naravno število je 0.

C: Sodih števil ni končno mnogo.

Določi pravilnost sestavljene izjave: .

Preveri

Kakšna mora biti logična vrednost izjave , da bo sestavljena izjava nepravilna, če veš, da je izjava pravilna, izjava pa nepravilna.

Preveri

Dane so naslednje izjave:

A: Število je racionalno število.
B: Množica sodih števil je neskončna množica.
C: Lihih števil je manj kot naravnih števil.
D: Praštevil je končno mnogo.
E: Iracionalna števila so neskončna neperiodična decimalna števila.
F: Iracionalna števila lahko zapišemo kot ulomke.

Določi katere od naslednjih izjav so pravilne oz. nepravilne. Odkljukaj vse pravilne izjave.

Preveri

Z oklepaji določi vrstni red operacij:

a)

b)

c)

Preveri

S pomočjo pravilnostne tabele določi logične vrednosti sestavljene izjave:

Preveri

Dokaži da je izjava tavtologija.

Preveri