6827068981

OPRACOWANIE EGZAMINU

Zadanie 1. Sprawdź metodą 0-1 czy wyrażenie jest tezą rachunku zdań.

Podobne zadania w książce: str.42, z.6;

p	~p	p	q	p^Aq	p	q	P v q	P	q	p->q	p	q	p = q
1	0	1	i	1	1	i	1	1	i	i	i	i	i
0	1	1	0	0	1	0	1	1	0	0	i	0	0
		0	i	0	0	i	1	0	i	i	0	i	0
		0	0	0	0	0	0	0	0	i	0	0	i

Zadanie 2. Alternatywnie jedno z czterech.

A) Dokończ zdania tak, aby stały się egzemplifikacjami praw logiki

Egzempłifikacja - wyjaśnienie czegoś przy pomocy przykładów, przykład, dokumentowanie.

Znak „J" oddziela „treść zadania "od tego, co jest „odpowiedzią" zdającego. Oznaczenie tylko na potrzeby tego skryptu! Podobne zadaniaw książce: str. 71, z. 10; str. 99, z. 9;

PRZYKŁAD, TEZA RACHUNKU ZDAŃ:

Nie jest tak, że (Gosia lubi pomidory lub Ewa jest bartnikiem) wtedy i tylko wtedy, gdy J (nie jest tak, że Gosia lubi pomidory i nie jest tak, że Ewa jest bartnikiem).

EGZEMP LIFIKA CJA: Drugiego prawa de Morgana

PRZYKŁAD, TEZA RACHUNKU PREDYKATÓW:

Jeżeli istnieje taki student prawa, który umie grać na trąbce i umie tańczyć walca, J to istnieje taki student prawa, który umie grać na trąbce i istnieje taki student prawa, który umie tańczyć walca. EGZEMPŁIFIKACJA: Prawa rozkładania małego kwantyfikatora względem koniunkcji.

PRZYKŁAD, TEZA RACHUNKU ZBIORÓW:

Suma zbioru grzybów oraz sumy zbiorów psów i zbioru jamników jest identyczna z J sumą sumy zbioru grzybów oraz zbioru psów i zbioru jamników.

EGZEMPŁIFIKACJA: Z U (Y U X) = (Z U Y) U X

B) Wykaż; że poniższa sekwencja jest wyrażeniem rachunku zdań. Podobne zadania w książce: str. 42, z. 5;

PRZYKŁAD: {r ^A~[(p -» ~q)v~(~r = p)]}v~p

1.    p,q,r

2.    ~p,~q,~r

3.    P -> ~q. ~r s P

2.    +tsp)

3.    (p -> ~q)v~(~r = p)

2.    ~[(p -> ~q)v~(~r = p)]

3.    r ^A ~[(p-> ~q)v~(~r = p))

3. {r ^A~[(p-> ~q)v~(~r= p)]}v~p