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.