MATEMANIJA

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].