Wikipedysta:Mlepicki/Notatnik2
Z Wikipedii
Rachunek zdań to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu.
W klasycznym rachunku zdań przyjmuje się założenie, że każdemu zdaniu można przypisać jedną z dwu wartości logicznych - prawdę albo fałsz, które umownie przyjęto oznaczać 1 i 0. Klasyczny rachunek zdań jest więc dwuwartościowym rachunkiem zdań.
W rachunku zdań treść rozpatrywanych zdań nie ma znaczenia, istotna jest jedynie ich wartość logiczna. Wartość logiczną zdań złożonych powstałych przez zastosowanie spójników zdaniowych określa funkcja prawdy, związana z każdym spójnikiem zdaniowym. Wartość ta zależy wyłącznie od prawdziwości lub fałszywości zdań składowych, nie zależy natomiast od ich treści. Szczególną rolę w rachunku zdań odgrywają takie zdania złożone, dla których wartość logiczna jest równa 1, niezależnie od tego, jakie wartości logiczne mają zdania proste, z których się składają. Takie zdania nazywa się prawami rachunku zdań lub tautologiami.
[edytuj] Historia
Zalążki klasycznego rachunku zdań odnajdujemy już w starożytnej filozofii. Rachunkiem zdań zajmowano się również w średniowieczu. Współczesne, sformalizowane oraz pełne ujęcie rachunku zdań po raz pierwszy podał w 1879 roku logik niemiecki Gottlob Frege. Niemałą rolę w dalszym rozwoju rachunku zdań odegrali matematycy polscy, a wśród nich głównie Jan Łukasiewicz i Alfred Tarski.
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- prawa rachunku zdań
- alternatywa
- alternatywa wykluczająca
- dysjunkcja
- implikacja
- koniunkcja
- negacja
- równoważność
- NAND
- NOR
- Algebra Boole'a
[[Kategoria:Logika formalna]] [[de:Aussagenlogik]] [[en:Propositional logic]] [[es:Lógica proposicional]] [[et:Lauseloogika]] [[fr:Calcul des propositions]] [[hu:Ítéletlogika]] [[it:Logica proposizionale]] [[th:แคลคูลัสเชิงประพจน์]] [[zh:形式逻辑]]
