Zdjecie0379

LOGIKA PRAWNICZA

t • t f łitlUHUwy

fi *****

j    mc.

|) kii

|    « ą).

HIAtoUm

|tai»

II M&

H»r f ~ir*.fr“*T----fr*—i~l—‘^ł~~'—

f |MiMW*.

({IMHBP.

>1) bpITW.

I# - - — - — w , f « • Ł f r* ■ • . .)■ ,

1    Ętmn^ifimrycmym

M MŁ

SpApMk mąhyińazKsirf Jcd»u i d-yge „. ... ękttMt »ię miniciu:

(IlMM#.

I I    IfW,

«{ Hfc*l**

li MA

ftarMtyc Mi«t MmW |f(Wfnlv cdmmlsiraęje v UJK w ręku akadonicktm 2009/30JO p^fi |fitt H| aatwy Mówią nttfąpujtpe uld*dy Mttr «! i MMIHto.>wfciay ąteMMMLwtoneb, mętoyiDi, j g Mmjt, ł p j męuytęi. m&aytM i brodą f | 4mn. Many, Mafcy w filc mtiat,

t l •u+imkuiou nitm wuoub.owby wyieum 171 wn wuwtu

■

( I Zad. 0.

Podziału logicznego zbioru można dokonać przy pomocy relacji:

( j zwrotnej,

11 równoważnościowej, t ] przechodniej,

C j symetrycznej.

( 3 Zad, 7.

Niech dane będą zbiory: /f. B. Prawdziwe w pełni ogólności są totmafy:

[ J A\jB c /(,

( ] A\B X B\A.

| ) d\d sc Br\A,

[ ) (dr»żł)Uiś ■ yf.

I ) Zad. 0.

Wyrażenie (p a -^) =» o jcat schematem, który*.

[ ] Jest schematem wyłącznic zdań fałszywych.

[ ] Jcat schematem wyłącznie zdań prawdziwych.

[ l jat tautologią,

( ] jat zdaniem fałszywym.

[ ] Zad. 9.

Funkcji zdaniowi R(x,a)^ -<S(x,a) jat schematem wyrażeń: t ] Jeżeli xjut ojcem Jana, to x niejat starszy od Jena,

[ ] Jeieli Jan Jut dłużnikiem Pawła, to Jen unika Pawia,

( ] Jdeltxjut ojcem Jana. to* nie jat młodszy od Jana,

[ ] Jeżeli. 3 Jut dzielnikiem 13, to J < 13.

[ ] Zad. Ł0.

Alina stwierdziła, że w torebce nie ma jej kart kredytowych, które zawsze tam nosi.

Wywnioskowała z tego, że została okradziona w autobusie, którym jechała.

Jest to przykład wnioskowania:

[ 1 redukcyjnego,

[ ] przez analogią,

{ ] zawodnego,

11 dedukcyjnego.