Pozdrav svima,
Uskoro imam kolokvij iz logike, pa ako ima koja dobra duša da mi riješi par zadataka da imam po čemu vježbati Ne znam kako početi, nemam dobru literaturu i stvarno bi mi puno značilo ako bi netko pokušao riješiti ovo. Bez obaveza Unaprijed sam vam zahvalna!

[inlmath]p\Rightarrow q\quad[/inlmath] Premisa
Dokaži : [inlmath](p\Rightarrow q)\land (q\Rightarrow q)[/inlmath]

I sad dolje imam niz mogućnosti : Pretpostavka, opetovanje, uvođenje /isključenje negacije, uvođenje/isključenje konjunkcije, uvođenje/isključenje disjunkcije, uvođenje/isključenje implikacije, uvođenje/isključenje bikondicionala.

Molim te, pročitaj pravilnik foruma.

Ako važi [inlmath]p\Rightarrow q[/inlmath], tada umesto [inlmath](p\Rightarrow q)\land(q\Rightarrow q)[/inlmath] možemo pisati [inlmath]\top\land(q\Rightarrow q)[/inlmath], a to se, uz isključenje konjunkcije, svodi na tautologiju [inlmath]q\Rightarrow q[/inlmath].