To tylko jedna z 89 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Rozdzia ł I KLASYCZNY RACHUNEK ZDA Ń . Klasyczny rachunek zdań (w skrócie KRZ) jest jednym z najprostszych systemów logiki formalnej. W praktyce może on służyć do sprawdzania poprawności wnioskowań, czyli takich procesów myślowych, podczas których na podstawie uznania za prawdziwe jednych zdań (przesłanek) dochodzimy do uznania kolejnego zdania wniosku). Dzięki znajomości KRZ każdy może się łatwo przekonać, że na przykład z takich przesłanek jak: Jeśli na imprezie był Zdzisiek i Wacek, to impreza się nie udała oraz Impreza udała się można wywnioskować iż: Na imprezie nie było Zdziśka lub Wacka. Posługując się metodami KRZ można również stwierdzić, iż nie rozumuje poprawne ten, kto z przesłanek: Jeśli Wacek dostał wypłatę to jest w barze lub u Zdziśka oraz Wacek jest w barze dochodzi do konkluzji: Wacek dostał wypłatę.
1.1. SCHEMATY ZDA Ń . Pierwszą czynnością, jaką należy przećwiczyć rozpoczynając naukę klasycznego rachunku zdań, jest budowanie logicznych schematów zdań. Budowanie takich schematów przyrównać można do przekładu wyrażeń „normalnego” języka, jakim ludzie posługują się na co dzień, na język logiki, w którym logicy sprawdzają
poprawność danego rozumowania. Termin „zdanie” oznacza w logice tylko i wyłącznie zdanie oznajmujące i schematy tylko takich zdań będziemy budować. Schematy pokazują nam położenie w zdaniach języka naturalnego zwrotów szczególnie istotnych z punktu widzenia logiki - niektórych z tak zwanych stałych logicznych: nieprawda że, i, lub, jeśli... to, wtedy i tylko wtedy. Zwroty te noszą w logice nazwy negacji, koniunkcji, alternatywy, implikacji oraz równoważności i będą w schematach zastępowane odpowiednimi
symbolami: ~ (negacja), ^ (koniunkcja), v (alternatywa), → (implikacja), ≡ (równoważność). Wymienione zwroty są (przynajmniej w takich znaczeniach, w jakich przyjmuje je logika) spójnikami łączącymi zdania, dlatego nazywamy je spójnikami logicznymi. Zdania proste, łączone przez spójniki logiczne zastępować będziemy w schematach literami: p, q, r, s, t... itd. Litery p, q, r… nazywamy zmiennymi zdaniowymi (ponieważ zastępują zdania języka naturalnego). Do budowy schematów będziemy też często używali nawiasów, które pełnią rolę podobną do znaków przestankowych w piśmie - pokazują jak schemat należy odczytać, które jego części wiążą się ze sobą ściślej, a które luźniej. Rola nawiasów stanie się jaśniejsza po przerobieniu kilku zadań praktycznych. Przykładowe schematy logiczne zdań mogą wyglądać następująco: p → q, ~ (p ^ q), p v (r → ~ s), [p ≡ (q → r)] ^ (s → z). Zdania wiązane przez spójniki logiczne nazywamy członami tych spójników. Człony
równoważności niektórzy nazywają stronami równoważności, natomiast zdania wiązane przez implikację określamy najczęściej mianem poprzednika i następnika implikacji. Jak łatwo się domyśleć, poprzednik to zdanie znajdujące się przez „strzałką” implikacji, a następnik - zdanie po niej.
... zobacz całą notatkę
Komentarze użytkowników (0)