Zagadnienia do egzaminu z logiki 3.3, filozofia uw, rok I, logika
[ Pobierz całość w formacie PDF ]
Strona 1 z 10
Zagadnienia do egzaminu z logiki
Na wtpie anac że logika która na obowiąuje kłada i kilku diałów których w wikoci
prypadków nie należy e obą mieać Innymi łowy – rad aoberwować które pytania odnoą
i do których diałów Wpominam o tym ponieważ niejednokrotnie wydają i one być bardo
podobne i kilka ray daryło mi i odpowiadać na niewłaciwe pytanie
W poniżym etawie mamy do cynienia agadnieniami
Logiki jyka cyli emiotyki
Klaycnego rachunku dań
Klasycznego rachunku kwantyikatorów
Klaycnego rachunku predykatów
Rachunku biorów i teorii mnogoci
Pragmatyki logicznej
Logicznej teorii nazw
1.
Omówunkcje wypowiedzi.
Nie wytkie poród wymienionych unkcji były podane na wykładie nie wytkie też najdują i
w podrcnikach Każdy podrcnik awiera 4 poród wymienionych Sytuacja niemalże przypomina
mdrców greckich, toteż ebrałem tu wytkie
- Ekspresyjna – ujawnianie myli,wyrażaniewojegotanupychicnego,także
perswazja w znaczeniu porady
- Perswazyjno-sugestyjna – łowobodiec,kłaniającedocegolubnakaująceco,wyraża
obowiąkinakayiakaynp„anujieleń”takżewypowiediatematcechjakpochwała
patriotymucyarucanietchórotwa
- Performatywna – inaczej ustawodawcza,kreująca noweaktypołecnejaknp
wypowiadaniewojny,urocytenadanieimienialubpryreceniaTylkoniektóre
wypowiediwecóglnychytuacjachąperormatywne
- Racjonalna – funkcja o charakterze naukowo-encyklopedycznym, opisuje stan
recycylidarenia,włanocipredmiotów,relacjemidypredmiotamilubprocey
- Informacyjno-opisowa – np. spiker na dworcu
(- fatyczna – łużypodtrymaniuromowy,niemanaceniaaniatoowaniaw
logice,
dodana na specjalne życenie Mathieja)
Wypowied
- strona fizyczna
- strona znaczeniowa
- wodnieieniudorecywitoci
- enwyabtrahowanyodrecywitoci
2.
Na czym polega różnicamidytwierdaniemawyrażaniem
Zdanie w sensie logicznym:
- stwierdza – zachodzenie stanu rzeczy
- wyraża
– myldającąprawetanurecy
3.
Logicnateoriajyka
Inacejemiotykalogicna,kładai
-Syntaktyka (logiczna)
Zajmujeikładnią– badarelacjewewnątrjykoweniewychodącpoajyk
-Semantyka (logiczna)
Badarelacjeachodącepomidyjykiemarecywitocią
-Pragmatyka (logiczna)
Badarelacjepomidyjykiemajegoużytkownikami
Strona 1 z 10
Strona 2 z 10
Najykkładająi
- łownictwo/biórłów
- regułykładniowe/gramatyka
- regułyinterpretacji/nacenia
4.
Cymjetjyklogicnegopunktuwidenia?
Zdaniewenielogicnymtotyle,cowypowiedprawdiwalubaływaLogikintereujejykjako
nardiełużącedoopiywaniawiataikutecnegoprekaywaniamyliKlaycnadeinicja
prawdiwocidania (Arystotelesa): „Zdaniejetprawdiwewtedyitylkowtedy,gdyw
recywitocijettak,jakgloidanie”
Wartoćlogicnadowolnegodaniawenielogicnymmacharakterobiektywny,tnnieależnyod
poglądówludi
5.
Wjakipoóblogika badajyk?
jw. Jak dla mnie pytanie 3 4 i 5 Są co najmniej blikonacne Jeli kto i nie gada i uważa że to
nie prawda a ja wycajnie lenitwa co pominąłem – pro mi to udowodnić a dopi co treba
6.
Co to jest prawo logiczne klasycznegorachunkudań?
„Wpoprawnymwniokowaniuważnąrolodgrywajątakiechematydańłożonych,żekażdedanie
podpadającepodtenchematjetdaniemprawdiwymbewgldunawartocilogicnedań,
którychjetbudowane Schematy takie nazywamy
prawami
lub
tautologiami rachunku dań
”
7.
Podtawoweprawaklaycnegorachunkudań?
dotpne tylko w werji Premium która jet płatna i jet nawą putą
8.
Cyachodąnatpującerelacje
{p} |- p jet relacją dowodliwoci (wynikania logicznego) lub nacy że p jet tautologią na podtawie
zbioru {p} prełanek. Zdaniem dr Pluty, należy obie tym poradić na baie reguły odrywania i
podstawiania.
{~(p

~q) , q , (r

s) , r} |- p
np na baie reguły podtawiania podtawiamy „p” pod „r” i już widać że „p” jet dowodliwe na
podstawie danego zbioru. Brzmi prosto. Nie jestem jednak prekonany cy o to chodiło pro Omyle
{~(~q

~p) , q

r} |- s
np. podtawiamy „” pod „q” ora „r” i w ten poób otrymujemy implikacj (

s)

która jet
tautologią Mamy też wyrażenie ~(~

~p) które nie jet tautologią wic relacja nie zachodzi.
dotpne tylko w werji Premium która jet płatna i jet nawą putą
9.
Omówakjomatycneujcieklaycnegorachunkudań
„kjomatycnyytemrachunkudańpoleganatym,żepryjmujeipewnewyrażenia,codo
którychitniejecałkowitapewnoć,żeątautologiami,anatpnieprypomocynieawonychreguł
wniokowaniaprowadącychaweodtautologiidotautologiiwyprowadainichinne
wyrażeniatautologicnePrytymdobórowychwyrażeńwyjciowychjakipryjmowanychreguł
wniokowaniamabyćtaki,bykażdątautologikrdałoiwtenpoóbwyprowadićOwe
wyjciowewyrażenianaywamy
aksjomatami systemu
,apryjtewytemienieawodnereguły
wnioskowania tautologii z tautologii nazywamy
pierwotnymiregułamiinerencji
(dowodenia)”
Strona 2 z 10
 Strona 3 z 10
10.
Spójnikiklaycneinieklaycne
-jednoargumentowe
„~”
– pójniknegacji– „nieprawda,że”
-dwuargumentowe
„

”
– pójnikkoniunkcji– „i”
„

”
– pójnikalternatywy– „lub”
„

”
– pójnikimplikacji– aływytylkowtedygdypoprednikjetprawdiwyanatpnikaływy,
„jeżelito”
„

”
- pójnikrównoważnoci– „dokładniewtedy,gdy”
„

”
– alternatywarołącna– „dokładniejeden”
„/”
– alternatywarołącna(dyjunkcja) – „najwyżejjeden”
„Fl”
– Falum,każdejwartocicyniał
„”
– ercja,pootawiatakieamewartoci
„Ver”
– Verum,każejwartocicyniprawd
Spójniki nieklaycne daniem dr Pluty to pójniki apożycone jak np pójnik identycnoci „=”
„Spójniki klaycne to takie dla których da i ułożyć dwuwartociowe tabelki.
Są atem dwuwartociowe i ektenjonalne”
/Prof. approved\
11.
Uupełnijnatpująceormułytak,abykażdejotrymać5różnychtautologii
p

p , ~(~p) , (p

p) , (p

p) , (p

q)

p
p , ~(~p) , (p

p) , (p

p) , (~p

p)
(p

q)

p , ~q , (q

p) , ~(p

q) , (p

~q)
(p

q)

(q

p) , (~p

q) , (~q

p) , ~(~p

~q) , [(p

q)

q]
To tylko rowiąania prykładowe Jet ich ocywicie niekońcona iloć Ja natomiat tarałem i
wybrać jak najkróte i najmniej komplikowane Spokojnie jednak można te tautologie wymylić na
miejcu pamitając tylko że ich wartoć mui być 1 pry dowolnej wartoci pocególnych dań
12.
Jakajetróżnicamidyprawemlogicnymklaycnegorachunkudańatautologią
klasycznego rachunkudań?
j.w. pytanie 6.
WgProHelenyRaiowejpojciateąynonimicne
WgProBarbaryStano„Wródniekońceniewielutautologiirachunkudań(wanych
takżeprawamilogikidań)”teżąynonimicne
Zasadniczo – tautologii jet niekońcenie wiele a prawa logicne to niektóre wybrane tautologie
najcciej opatrone nawami.
13.
Docegopotrebneąprawalogicneklaycnegorachunkudań,omównaprykładie
Do metod numerycznych, do udowadniania i sprawdzania twierdeń rachunku dań do pisania
algorytmów do preprowadania wniokowań i wynikań
Prykłady można mnożyć tylko po co p
Strona 3 z 10
Strona 4 z 10
14.
Jykrachunkupredykatów
„
Funktorydaniotwórceodargumentównawowychwlogicenaywamypredykatami”
- biórmiennychnazwowych Var – {x
1
, x
2
,
- biórtałychnawowych
C
- biórliterpredykatowych
P = {P
1
, P
2
,,P
n
}
- biórymboliunkcyjnych
F = {F
1
, F
2
,,F
n
}
- biórtałychlogicnych

,

,,pójnikikr
- biórnakówpomocnicych
Y = {(,)}
15.
Aksjomatycneujcieklaycnegorachunkupredykatów
Jak w 9.
„Każdaormuładaniowarachunkudańmawojeodpowiednikiwjykupredykatów
Otrymujemyje,gdyaliterydaniowepodtawimyormułyrachunkukwantyikatorów”
16.
Ważniejetautologieklaycnegorachunkupredykatów
dotpne tylko w werji Premium która jet płatna i jet nawą putą
17.
Cyprykładowopodanaormułajettautologiąrachunkukwantyikatorów,odpowied
uzasadnij.
Jak w 25.
18.
Jakajetróżnicamidybioremdańprecnychaparądańprecnych?
Zbiór dań precnych może awierać pary dań precnych natomiast pary dań precnych ą to
dwa dania precne które jednak mogą tworyć biór Różnica właciwie jet niewielka poa tym że
w prypadku pary namy iloć dań a w prypadku bioru nie
Prykładparydańprecnychp,~p
Prykładbiorudańprecnychp,p

q, ~q}
/Prof. approved\
19.
Uupełnijnatpującedaniatakabytworyłyparydańprecnych
Zdania podkrelone rowiąanie ą na aadie kwadratu logicnego ret dań można (daniem dr
Pluty rowiąać dodając „nieprawda że” na pocątku Zdania te można póniej prektałcić na
zasadach krz.
- Tylkoniektórekobietyąmotylami
- Żadenminiterniejetpiegiem
- Jestem studentem i nauczycielem
- Sąkulturalnilekare
- Nietylkominitrowieąpiegami
- Żadencłowiekmądryniejetpreądny
- Tylkoniektóryminitrowieąpiegami
- Jeżelinieucyłei,tonieumie
- Ucyłeianieumie
- Nieprawda,żeucyłeianieumie
-
Żadnakobietaniejetmotylem
-
Niektóryminitrowieąpiegami
-
-
Żadenlekarz nie jest kulturalny.
-
Każdypiegjetminitrem
-
Niektórymądryludieąpreądni
-
Żadenminiterniejetpiegiem.
-
-
-
20.
Zapiwjykupredykatów
- Itniejądokładniedwa przedmioty
- Itniejąconajmniejtrypredmioty
- Istniejąconajwyżejtrypredmioty

x,y x

y

x,y,z x y

x

y(?)

x,y,z x = y

x = z

y = z
/Prof. approved\
Strona 4 z 10
 Strona 5 z 10
21.
Cotojettautologiaklaycnegorachunkupredykatów?
Jak w 6. Zdanie prawdziwe na mocy swojej struktury logicznej
22.
kjomatydlapredykatuidentycnoci
dotpne tylko w werji Premium która jet płatna i jet nawą putą
23.
Twierdenieodedukcjiwwerjiemantycnejdlaklaycnegorachunkudań
DlakażdegobioruormułGidowolnychormuł,B,jeliG

{A} |- B to G |- (A

B).
Jet to twierdenie o dedukcji w rachunku dań nie wiem jednak czy jest w wersji semantycznej.
24.
Cywkaaneormułyątautologiamiklaycnegorachunkudań,odpowieduaadnij
Toadanienależyrowiąaćmetodąkombinatorycnątj
dladowolniepodtawionychwartocilogicnychjeżeliormułamawartoć1tojettotautologia
25.
Cyprykładowopodanaormułajettautologiąrachunkukwantyikatorów,odpowied
uzasadnij.
Jw. Tautologia rachunku kwantyfikatorówjetormułąaweprawdiwąnieależnieodtrecidań
26.
TradycyjnateorianawPojcienawy,akrenawy,trećnawy,rodajenaw
„
Nazwa
jettowyralubwyrażenie,któremożebyćpodmiotemluborecnikiemwpoprawnejpod
wgldemjykowymwypowieditypuxjety”
„
Desygnat
nawytotyle,copredmiot,októrymgodnieprawdąmożnatnaworec”(Tojetx)
Nazwy
– puste
(kwiat paproci)
- jednostkowe (autor Waverleya)
- ogólne
(cłowiek)
- ostre
mającileokrelonybiórdeygnatów(licbaparyta)
- nieostre niemającileokrelonegobiorudeygnatów(młody)
„Zakrenawy
tobiórwytkichdeygnatówtejnawyakreemdowolnejnawyputej,cyli
bepredmiotowejjetbiórputy”
Trećnawy
„TrećcharakterytycnanawyNtojakikolwiekbiórTcech,taki,żekażdydeygnat
nawyNmakażdącechebioruTitylkodeygnatynawyNmająkażdącechebioruT”
„Treciąjykową
danejnawylubteżkonotacjątejnawyjettakajejtrećcharakterytyczna,
którapryługujetejnawieewgldówwyłącniejykowych”
27.
Prawalogicnewiąanekwadratemlogicnym
Najpierwchematydańkwadratu (chociażnacniełatwiejtoobacyćnaobraku

)
KażdeSjetP
-SaP
ŻadneSniejetP
-SeP
NiektóreSąP
-SiP
NiektóreSnieąP
-SoP
- SaP <-> ~(SoP)
- SeP <-> ~(SiP)
- SaP -> SiP
- SeP -> SoP
- SaP -> ~(SeP)
- ~(SiP) -> SoP
Strona 5 z 10
[ Pobierz całość w formacie PDF ]