ZASADY
p ≡ p - tożsamości
p ≡ ~~p - podwójnego przeczenia
~(p ^~p) - sprzeczności
p v ~p - wyłączonego środka
PRAWA
(p^q)→p - symplifikacji
p→(p v q) - addycji
~(p ^q)≡(~p v ~q) - I de Morgana
~(p v q)≡(~p^~q) - II de Morgana
[(p→q)^p]→q - modus ponendo ponens
[(p→q)^~q]→~p - modus tollendo tollens
[(p→q)^(q→r)]→(p→r) - sylogizmu hipotetycznego
KWANTYFIKATORY - PRAWA
Zdaniem w sensie logicznym jest:
taka wypowiedź, która ma określoną wartość logiczną
takie wyrażenie, które jest prawdziwe albo fałszywe
taka wypowiedź, która jest prawdziwa albo fałszywa
każde zdanie w sensie logicznym
Nazwą prostą jest nazwa:
składająca się z jednego tylko słowa
składająca się co najmniej z jednego słowa
oznaczająca obiekt prosty
nie zawierająca spójnika
Nazwa „Rzeczypospolita Polska” jest nazwą jednocześnie:
pustą, abstrakcyjną, zbiorową, ostrą
generalną, ogólną, nieostrą, złożoną
jednostkową, konkretną, zbiorową, ostrą
złożoną, jednostkową, abstrakcyjną, niezbiorową
to ilustracja tego, że:
zakres nazwy S wyklucza się z zakresem nazwy P
zakres nazwy P jest zamienny z zakresem nazwy S
zakres nazwy P krzyżuje się z zakresem nazwy S
zakres nazwy S jest nadrzędny względem zakresu nazwy P
Zakres nazwy „norma generalna”:
wyklucza się z zakresem nazwy „norma abstrakcyjna”
jest podrzędny względem zakresu nazwy „norma konkretna”
jest nadrzędny względem zakresu nazwy „norma konkretna”
wyklucza się z zakresem „norma indywidualna”
Funktatorem nazwotwórczym od dwóch argumentów nazwowych jest takie wyrażenie:
które z dwoma nazwami daje zdanie
które z dwoma nazwami daje nazwę
które z nazwą daje dwie nowe nazwy
które z jedną nazwą daje nową nazwę
W zdaniu „Grzegorz rozmawia z kolegą” wyrażenie „rozmawia z” jest:
spójnikiem dwuargumentowym
funktatorem nazwotwórczym od dwóch argumentów nazwowych
funktatorem nazwotwórczym od jednego argumentu zdaniowego
predykatem dwuargumentowym
Implikacja jest fałszywa, gdy:
jej poprzednik jest prawdziwy, a następnik fałszywy
jej poprzednik jest fałszywy, a następnik prawdziwy
jej następnik jest prawdziwy, a poprzednik jest fałszywy
zarówno następnik, jak i poprzednik są fałszywe
z nz to indeks:
perdykatu dwuargumentowego
spójnika dwuargumentowego
funktatora nazwotwórczego od dwóch argumentów zdaniowych
funktatora zdaniotwórczego od dwóch argumentów nazwowych
Zdaniem apodyktycznym, jest takie zdanie, które;
stwierdza, że tak a tak musi być lub stwierdza, że tak a tak nie musi być
stwierdza, że tak a tak może być lub stwierdza, że tak a tak nie może być
stwierdza, że tak a tak musi być lub stwierdza, że tak a tak musi nie być
stwierdza, że tak a tak może być lub stwierdza, że tak a tak może nie być
Zdanie „istnieje taki student, który musi pojechać do Warszawy” jest jednocześnie:
proste, egzystencjalne, syntetyczne, apodyktyczne
złożone, egzystencjalne, syntetyczne, asertoryczne
proste, nieskwantyfikowane, analityczne, problematyczne
złożone, generalne, syntetyczne, asertoryczne
Gdy zdania Z1 oraz Z2 są wzajem podprzeciwne, to:
wykluczone jest, aby były oba prawdziwe, choć mogą być oba fałszywe
dopuszczalne jest, że oba są fałszywe
wykluczone jest, aby oba były prawdziwe
wykluczone jest, aby oba były fałszywe, choć dopuszczalne jest, że są prawdziwe
Gdy ze zdania Z1 wynika zdanie Z2 to:
implikacja, której poprzednik stanowi zdanie Z2, a następnik stanowi zdanie Z1 jest prawdziwa
oba zdania muszą być prawdziwe
implikacja, której poprzednik stanowi zdanie Z1, a następnik stanowi zdanie Z2 jest prawdziwa
oba zdania są równoznaczne
Zasadą podwójnego przeczenia jest wyrażenie:
~(p^~p)
p≡p
(p^q)→p
p≡~~p
[(p→q)^p]→q to:
drugie prawo de Morgana
modus tolendo tollens
modus ponendo ponens
pierwsze prawo de Morgana
Prawem negowania dużego kwantyfikatora jest wyrażenie:
..
..
..
..
17.
prawo rozkładania dużego kwantyfikatora względem koniunkcji
prawo rozkładania małego kwantyfikatora względem koniunkcji
prawo składania dużego kwantyfikatora względem alternatywy
prawo rozkładania małego kwantyfikatora względem alternatywy
Adresatem normy jest:
ten, kto na podstawie normy uzyskuje uprawnienie do działania
podmiot, do którego dana norma się odnosi
zbiór podmiotów, do których dana norma się odnosi
ten, któremu norma nakazuje wykonać określony czyn
19. Norma „Zakazuje się każdemu studentowi 18.IV.1999r. wyjeżdżać z Poznania” jest jednocześnie normą:
zakazującą, generalną, konkretną
zakazującą, indywidualną, konkretną
nakazującą, generalną, abstrakcyjną
zakazującą, generalną, abstrakcyjna
Normą indywidualna jest norma:
w której adresat wskazany jest za pomocą nazwy jednostkowej
w której adresat wskazany jest za pomocą nazwy indywidualnej
w której sytuacja opisana jest tak, że wiadomo, iż wystąpi tylko jeden raz
w której sytuacja oznaczona jest nazwą jednostkowa
Gdy norma N1 jest sprzeczna z normą N2,, to:
obie normy są normami nakazującymi
zbiory adresatów obu norm nie mają elementów wspólnych
normy odnoszą się do wzajem sprzecznych czynów
zakresy zastosowania obu norm mają przynajmniej pewne elementy wspólne
Jeżeli normy N1 i N2 są normami nakazującymi i z normy N1 wynika norma N2 to:
zakres zastosowania normy N1 zawiera się w zakresie zastosowania normy N2
zakres zastosowania normy N2 zawiera się w zakresie zastosowania normy N1
zakres zastosowania normy N1 wyklucza się w zakresie zastosowania normy N2
zakres zastosowania normy N1 jest identyczny z zakresem zastosowania normy N2
Gdy norma N1 jest normą kompetencyjną dla normy N2 to:
a) zbiór adresatów normy