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

Wyszukiwarka

Podobne podstrony:
KRZ3 1.7.    Sprawdź skróconą metodą, czy formula jest tautologią. a)   &nb
2. Sprawdzić trzema metodami, czy formula jest tautologią. (a)    p =► (p => q) (b
KRZ3 1.7.    Sprawdź skróconą metodą, czy formula jest tautologią. a)   &nb
lastscan 1 1)    Sprawdzić, czy wyrażenie jest tautologią klasycznego rachunku zdań:&
omówienie normy pn-en iso/iec 17025 •    sprawdzenia wskazujące, czy wyposażenie jest
egzamin logika 2 Nie jest prawem logicznym. 8. Sprawdź metoda zero-jedynkową następujące rozumi
Sprawdzian umiejętności z podstaw logiki matematycznej 1. Określ, czy podane wyrażenie jest zdaniem
Radosław Grzymkowski MATEMATYKA Zadania I Odpowiedzi Strona4 ?łka Nieoznaczona Całka nieoznacz
SCN22 Zadanie 3.1.8. Sprawdzić, czy zbiór f/ jest podprzestrzenią przestrzeni liniowej R2, jeśli: Z
3. Sprawdź, posługując się metodą rachunku zdań, czy następujące wyrażenia są prawami rachunku
egzamin matematyka tril Egzamin z matematyki dla kierunków TRIL i TEO I icm, ) Na podstawie definicj
W wielu definicjach brak jest wyraźnej granicy pomiędzy technikami zarządzania i metodami czy koncep
Przechwytywanie w trybie pełnoekranowym 14 04 172853 bmp Płaszczyzna i prosta Zadanie 2. Zbadać, cz

więcej podobnych podstron