[ Pobierz całość w formacie PDF ]
.1° poprawnie zbudowanymi formuÅ‚ami bÄ™dÄ…: a) atomiczne formuÅ‚y bÄ…dz
zmien-ne zdaniowe, bÄ…dz
funkcje propozycjonalne, b) poprawnie zbudowane formułypoprzedzone kwantyfikatorem du\
ym  '" fx , fy , '"( p (" fx ),& ,'"x xy'" '"małym - (" fx , (" fy , ("( p (" fx) ,& , oraz abstraktorem x fx , y fy ,& ,x y xc) formuły utworzone z poprawnie zbudowanych formuł za pomocą funktorówprawdziwościowych (i nawiasów); ustala się, \
e kwantyfikator wiÄ…\
e mocniejni\
ka\
dy funktor prawdziwościowy oraz \
e zasięg kwantyfikatora rozciągasię do pierwszego dwuargumentowego funktora prawdziwościowego, chyba\
e nawiasy stanowiÄ… inaczej.2° tezami jednargumentowego rachunku predykatów bÄ™dÄ…21:a) przyjÄ™te aksjomatycznie tezy rachunku zdaÅ„ i nastÄ™pujÄ…ce dwie formuÅ‚y:'" fx ƒ" fy - prawo implikacji podstawieniowej (nowoczesne ujÄ™ciextradycyjnej zasady  dictum de omni" - co orzeka siÄ™ prawdziwieo wszystkich, to równie\
i o niektórych)fy ƒ" (" fx - prawo egzystencjalnej generalizacji,xb) wyniki odpowiedniego stosowania do tez systemu nastÄ™pujÄ…cych reguÅ‚:1) podstawiania (za równoksztaÅ‚tne zmienne zdaniowe odpowiednio rów-noksztaÅ‚tnych formuÅ‚ zdaniowych poprawnie zbudowanych i za wolnezmienne nazwowe innych zmiennych nazwowych, byle \
adna dotych-czasowa wolna zmienna nie stała się związaną, a związana wolną),2) odrywania następnika, gdy tezą jest jego poprzednik i cała implikacja,3) dołączania kwantyfikatora du\
ego w następniku (o ile poprzednik niezawiera zmiennej takiej, jak przy kwantyfikatorze), a małego w po-przedniku implikacji (o ile w następniku nie ma zmiennej takiej, jakprzy kwantyfikatorze),4) opuszczania kwantyfikatora du\
ego w następniku lub małego w po-przedniku implikacji,21Mo\
na sprawdzać niektóre poprawnie zbudowane schematy rachunku predykatów zapomocą tzw.diagramów Venna, które będą scharakteryzowane na początku paragrafu poświęconegosylogistyce.3015) zastępowania schematów odpowiadających jednej stronie podanychni\
ej definicji drugą jej stroną:D.1 '" fx =~ (" ~ fxx x22D.2 (" fx =~ '" ~ fxx xNajbardziej typowe prawa rachunku kwantyfikatorów dotyczą ruchu kwanty-fikatorów, ich składania i rozdzielania oraz przemienności kolejności kwanty-fikatorów.Do pierwszej grupy nale\
ą np.prawa przesuwania kwantyfikatorasprzed całej implikacji przed poprzednik, o ile następnik jest wyra\
eniem nieza-le\
nym:'"( fx ƒ" p) a" (" fx ƒ" px x("( fx ƒ" p) '" fx ƒ" px xW drugiej grupie jest np.prawo rozdzielania kwantyfikatora szczegółowegomiÄ™dzy czÅ‚ony implikacji:("( fx ƒ" gx) a" '" fx ƒ" (" gxx x xoraz skÅ‚adania du\
ego kwantyfikatora sprzed czÅ‚onów alternatywy:'" fx (" '" gx ƒ" '"( fx (" gx)x x xDo trzeciej grupy nale\
y np.prawo przestawiania kwantyfikatorów niejednorod-nych (jednorodne wolno zawsze przestawiać):(" '" fxy ƒ" '" (" fxyx y y x22Mo\
na więc wyeliminować du\
y kwantyfikator za pomocą małego i odwrotnie, lecznale\
y poło\
yć przed i po kwantyfikatorze negację.Znak równości występujący w obu definicjachtraktowany jest metajęzykowo i wskazuje, \
e mo\
na zastępować jedną stronę równości przezdrugą.Czasem uwyraz
nia się ten fakt, pisząc  =df".W rachunku kwantyfikatorów budowanyminną metodą, np.zało\
eniową, mamy prawa zastępowania kwantyfikatorów: '" fx a"~ (" ~ fxx xoraz (" fx a"~ '" ~ fx , w których występuje funktor równowa\
ności.Prawom tym odpowiadająx xnastępujące sformułowania: Ka\
dy przedmiot ma daną własność wtedy i tylko wtedy, gdy nieistnieją przedmioty nie mające tej własności.Istnieją przedmioty mające daną własność wtedy itylko wtedy, gdy nie ka\
dy przedmiot nie ma tej własności.Analogicznie do praw de Morgana (bokwantyfikator du\
y odpowiada koniunkcji, a mały alternatywie) mamy prawa negowaniakwantyfikatorów: '" fx a"~ (" ~ fx i (" fx a"~ '" ~ fxx x x x302R a c h u n e k z b i o r ó w , czyli formalna teoria działań na zbiorach orazstosunków zachodzących między zbiorami, bywa w logice nadbudowany na ra-chunku zdań i rachunku kwantyfikatorów.Mo\
na go jednak potraktować auto-nomicznie (np.jako pewną interpretację algebry Boole'a) lub jako wstępną częśćmatematycznej teorii mnogości [ Pobierz całość w formacie PDF ]

zanotowane.pl

doc.pisz.pl

pdf.pisz.pl

personata.xlx.pl