KOLOKWIUM LOGIKA GR III
Dla każdej pary podanych nizej zbiorów wskaż zbiór który jest ich różnicą:
A={4,6,8}
B={11,12,13}
C={zbiór liczb naturalnych nieparzystych}
Udowodnij, że dla dowolnych zbiorów A i B zachodzi
AcB=_ (tozsame) B'c A'
Podaj przykłady nazwy:
a) zarazem złożonej, zbiorowej i pustej b) zarazem złożonej, zbiorowej i jednostkowej
Oznaczenia:
n- kraj Europy
l-kraj należący do Unii Europejskiej
t- kraj nie należący do UE
s- Ukraina
v- Europa
w – Śląsk
Jakie stosunki zachodzą między nazwami : a) s,l b) n,t c)s,t
Funktor dwuargumentowy & jest prawdziwy wtedy i tylko wtedy gdy wartosci logiczne jego argumentów są różne. Podaj definicję matrycową
Które wyrażenie jest prawem KRZ?
(tych przykladow nie mam bo mialam na drugiej kartce i mi skosil ktos z grupy....)
Sprawdź metodą 0-1 czy podany przykład jest prawem KRZ?
[(p^q)--> ~p] --> ~q
Podaj wartości logiczne kwadratu logicznego KRZ dla którego o=0
Podaj prawa inwersji zupelnej dla zdań twierdzących
Czy zdanie zawiera wnioskowanie niezawodne? Uzasadnij „Jeżeli żaden ptak nie jest ssakiem, to pewien nie-ssak nie jest ptakiem”
Jaki wniosek wynika dla :
MaP
MeS
Czy zdanie jest wnioskowaniem niezawodnym? „Wszyscy ludzie są dwunożni, a ponieważ niektóre zwierzęta nie są dwunożne to niektóre zwierzęta nie są ludźmi.”