kolos logika

(.KI PA 2

I. Podaj założeniow)

“) l(P h) ( p -

c)    | P-

d)    (p-H c) I p -*

r)

-,_q)A(p-^^^(P^^qAr)

_>qvf)A(_P-^^(s“^,^^(p

* (q — r )1 — < P ^A ^"*^r) q a r ) —*‘ (P

_(q,r)h((r^^^(p"^HV?)'

2. Podaj założeniowy itowOd mc "P^,x

a)    (p~* r)A(p-*Q)"*^ ‘mad

b)    ( p v m ) - ( r ^A «t ⁾

c)    (ij p ) ~* ( p * M *

d)    (p a q -* r) f P -* (<ł *^r ^

e)    (p-+ ą v s) a (p->r) a ( r q ) — ( p -

i /Kulaj za f*xnocadowodu założeniowego, czy poniższe wnioskowanie . * - J\ * jnc.

PI Jeżeli jestem studentem I roku prawa kanonicznego, to w programu: studiów mam ewte/ema / logiki

p: Jeżeli *jBtegrwm miś*.mm Barnim i. k>^ku u> i\nvmtcnem na nicucz^s^ac

H Jeżeli jestem studentem I roku prawa kanonicznego, to powinienem uczęszczać na v wK/etu* / logiki i mJkzw wszystkie kolokwia