Pierwsze kolo logika

rv/woiA»Ti LW.IM I I LUKII WINUUUbU

kolokwium 1

Zad. /. Podaj określenie niezawodnego schematu wnioskowania i zbadaj metodą tablicową, czy następujmy

p v <ł' P —» r_% —*g v r r

schemat wnioskowania jest niezawodny:

Zad.jj. Dana jest formuła w postaci kpn:

(—'P V —*q v /*) a (—1/7 V -1^ v -»r) A (p v -yq v -nr) a (-,p vqv -»r) U^yznacz apn rej formuły i zminimalizuj za pomocą siatki Kamau&ha.

Zad.$} Podaj dowód założeniowy tezy systemu aksjomatycznego KRZ - S:

-* r)-*(p/\-,r

_v A aB    AaB Av B, —vA

^sAcazów&a: Można wykorzystać reguły wtórne: (O A _xj--— , (O A ₂j -, -—-

A    B    B

d.j.Sprawdź, czy następująca formula jest tautologią KRZ metodą tabYic anaWt^cm^cH-.

->Cp 'se/)<->-,p^-,q

Zapisz za pomocą k wantyfikatorów, spójników zdaniowych. rc\ac'j\ =, < \ nnych. następujące zdania :

£>/a wszystkich liczb rzeczywistych x. X + y =■ y + X .

Me istnieją takie liczby naturalne x iy .te ich suma jest równa 0.

V/e korzystaj z kwantyfikatorów ograniczonych (.cwen\uaVv\\c pomocTwcLÓj