3006.

3.g

TEKST ZADATKA

Potrebno je odrediti istinitosnu vrednost logičkog izraza: () (\bot \lor \top) \Rightarrow \bot

()(\bot \lor \top) \Rightarrow \bot

REŠENJE ZADATKA

Prvo određujemo vrednost izraza unutar zagrade. Koristimo operaciju disjunkcije ( \lor ), gde je iskaz tačan ako je bar jedan od operanada tačan.

=\bot \lor \top = \top

Sada dobijenu vrednost zamenjujemo u početni izraz kako bismo primenili operaciju implikacije ( \Rightarrow ).

\top \Rightarrow \bot

Prema definiciji implikacije, iskaz je netačan samo u slučaju kada iz tačnog iskaza sledi netačan iskaz.

=\top \Rightarrow \bot = \bot

Konačna vrednost polaznog izraza je netačno.

()=(\bot \lor \top) \Rightarrow \bot = \bot