II Ml
H........ ■ “ nmT i ■ ■“«
(li-n
IlIMm
(lpi»
DiMią
fłoiM II Ml
Mwiff Ihnt.rrr rr-^tf-j~n rrimni-IliMlMIB.
II MC
H ■umilili *>*) AMD .. . fe> Midi* i*Muttmti.
I I
IliMM
| la^aAtNaląpiMiR
|M Mf KM—r UW V /#far ■tMwirliw 2<m/WłQ, Mul lg«tcwiy tej na* wy
BM| |M HU HMj
| I *f*M*MMHHM 140cm igaM,ml>mI»*mlut 140cm wzjmm,
Mm np »>4trii4i,
I i MliMi* oH nuJi/i nf(rr| nfir Ttr trr
II wl Mm 1 ifj4i>fi. a—M wiwi pe» K«m>—l
Podziału logicznego zbioru można dokonać przy pomocy rciacjt I ] przechodniej,
(| zwrotnej,
() równoważnościowej,
( ] porządkującej.
C J lad. 7.
Niech dane będą zbiory: A. B. Prawami rachunku zbiorów nie ją;
( ] A\B X Br*A,
( ] A\B x B\A, l ] A<jB c A,
I ] (AvB)r\A = A.
[ J lad.1.
Wyrażenie (p n -p) => ą jest schematem, który:
( ] jat równoważny schematowi pv-pvf,
[ ] Jat schematem wyłącznie zdań prawdziwych,
[ ] nie jat tautologią,
[ ] jat zdaniem prawdziwym.
[ ] lad. 0.
Funkcja zdaniowa R(x,a) => S(x,a) nie jest schematem wyrażeń:
( ] Jeżeli XJest ojcem Jana. to x jest starszy od Jana,
[ ] Jeżeli x jest dłużnikiem Pawia, to x unika Pawia,
[ 1 Jeżeli 5 Jut dzielnikiem x. to 5 <x,
( ] Jeżeli 3 jut dzielnikiem 13, to 3 < 15.
[ ] Zad. 10.
Alina po wyjiciu z pracy stwierdziła, te jej samochodu nie ma na parkingu. Wywnioskowała
z tego, iejąj mąż wziął samochód, aby zabrać dzieci ze szkoły.
Jat to przykład wnioskowania:
[ ] uprawdopodobniającego, l ] przez analogie.
[ ] redukcyjnego,
( J dedukcyjnego.