Studiuj dzięki licznym zasobom udostępnionym na Docsity
Zdobywaj punkty, pomagając innym studentom lub wykup je w ramach planu Premium
Przygotuj się do egzaminów
Studiuj dzięki licznym zasobom udostępnionym na Docsity
Otrzymaj punkty, aby pobrać
Zdobywaj punkty, pomagając innym studentom lub wykup je w ramach planu Premium
Społeczność
Odkryj najlepsze uniwersytety w twoim kraju, według użytkowników Docsity
Bezpłatne poradniki
Pobierz bezpłatnie nasze przewodniki na temat technik studiowania, metod panowania nad stresem, wskazówki do przygotowania do prac magisterskich opracowane przez wykładowców Docsity
Obszerne opracowanie z zakresu tematu
Typologia: Streszczenia
1 / 34
Ta strona nie jest widoczna w podglądzie
Nie przegap ważnych części!
Rachunek zdań • • FunkcjaFunkcja zdaniowazdaniowa KaŜda wypowiedź^ językowa^ będą
ca^ zdaniem moŜe być^ sprowadzona do schematu b
ędącego jej reprezentacją. Dla przykładu zdanie „ka
Ŝdy student^ jest^ piłkarzem”
da^ się^ przedstawić^ jako student^ jest^ piłkarzem”
da^ się^ przedstawić^ jako „KaŜde^ S^ jest^ P”.
Ten^ schemat^ mo
Ŝe reprezentować^ wiele^
innych^ zdań^ takich^ jak „KaŜdy^ policjant^
jest^ funkcjonariuszem publicznym”,^ „KaŜdy
ekonomista^ jest człowiekiem wykształconym”.
Rachunek zdań W schemacie tym zmienne p i q są
zdaniami, a sam schemat staje si
ę^ zadaniem prawdziwym lub^ fałszywym^ w^ zale
Ŝności^ od^ wartości logicznych zdań^ p i q. Cechą^ wyraŜeń^ typu^ „KaŜ
de^ S^ jest^ P”^ i^ „JeŜeli^ p,^
to Cechą^ wyraŜeń^ typu^ „Ka
Ŝde^ S^ jest^ P”^ i^ „JeŜeli^ p,
to q”^ jest^ to,^ Ŝe^ będąc
wyraŜeniami^ opisowymi reprezentującymi^ struktur
ę^ wypowiedzi^ same przez się^ nie mają^ warto
ści logicznej. Tego typu wyraŜenia nazywamy^ funkcjamifunkcjami zdaniowymi
zdaniowymi.
Rachunek zdań Operację podstawienia^ w^
Rachunek zdań • Kwantyfikator^ szczegółowy^ –^ zapisuje
się symbolem^ lub^. Oznacza wyra
Ŝenie ∨ ∃ xx „istnieje”. (^) Przykład:x jest kolorowe i x jest Ŝółte. x jest synem bezdzietnej matki.
Rachunek zdań • • FunktoryFunktory nieprawdziwościowenieprawdziwościowe
Rachunek zdań Przykłady:Z tego, Ŝe w zeszłym roku obrodziły jabłka wynika, Ŝe grudzień w zeszłym roku był mroź
ny. MoŜliwe,^ Ŝe jutro pojad
ę^ do Poznania. Konieczne jest,^ Ŝe mamy dzisiaj zł
ą^ pogodę.
Rachunek zdań 2. Funktory prawdziwościowe,
które reprezentowane są^ przez m. in. takie zwrotyjak „i”, „lub”, „albo … albo”, „b
ądź^ … bądź”, „jeŜeli …, to …” charakteryzuj
ą^ się^ tym,^ Ŝe wartość^ logiczna^
zdania^ złoŜonego wartość^ logiczna^
zdania^ złoŜonego stworzonego za ich pomoc
ą, jest w sposób jednoznaczny^ wyznaczona
przez^ wartość logiczną^ zdań^ będących ich argumentami. Zpunku widzenia logiki interesuj
ące są^ właśnie te spójniki.
Rachunek zdań - funktor negacjinegacji^ wyraŜa^ się^
Rachunek zdań - funktor alternatywyalternatywy^ wyraŜamy
jako^ „lub”, „bądź”, „albo” i oznaczamy symbolem
∨. Zdanie złoŜone zbudowane za pomoc
ą^ tego funktora nazywamy^ alternatyw
ą.^ Warunkiem wystarczającym^ prawdziwo
ści^ alternatywy^ jest wystarczającym^ prawdziwo
ści^ alternatywy^ jest prawdziwość^ choćby
jednego^ argumentu zdaniowego.^ Warunkiem
koniecznym^ i wystarczającym^ fałszywo
ści^ alternatywy^ jest fałszywość^ oby zdań.
Rachunek zdań - funktor alternatywyalternatywy rozłącznejrozłącznej
