1521425D3048919154874�972725 n

Nsr^sski- Wrtę

Grapa..,

Dat*..

POSTAW \ LOGIKI I TEORII MNOGOŚCI kolokwium I

2*i    ?*3ł- -.ak-tsissaw -■&32*sxac%s?, $c£«sss«a wnioskowania i zbadaj metoda tablicową, czy następujący

—.r? -> a. p -> r, a -y r

Acftema: wninscnwanic :«s lassiiwc&w: -^:— ---

r

~*zZ. Tcnu es; iarruin. w p&sead <p-

lij?¹ * 4' v —ir * a. ł—J . -^vr|.\(/)v-^v-r)

W; ■-'lac- .ci un — n    2ł pcesocą siaki Kamaugha.

Zali PciJiu iwcc -•2!n72n:,:.'*-. *23? systemu aksjomaiycTitego KRZ - S:

O⁷ -* ?) *    -> ^r)~* (r^r -> ?)

Mużn* *yin7rzj>sa: reguły wtórne: (O A ,) ——- . (O A ₃) *'*—• — , (D A)    -.

-••i    ^    A /\ B

Zad.4 Sprawdź, czy &fci«ptijąca formuła jest tautologia KRZ metodą tablic analitycznych O⁷ </)“► [(“^ A r)-P (“V⁷ a r)]

Zźć.5. Za pmnoca icwsntyfikaiorów, symboli logicznych i symboli działań arytmetycznych i zmiennych zapisz

zdaaa:

Istnieje tako itaba rzeczywista, ir.jej kwadrat jest równy 2.

Żadna iiczba naturalna me jest mniejsza od 0.

(- waga: korzystaj z kwantyfikntorów ograniczonych (ewentualnie pomocniczo)