Wersja z 16:24, 6 lip 2014 edytuj N3st0r1 (dyskusja \| edycje) 36 edycji →‎Metajęzyk i język obiektowy: literówka ← poprzednia edycja		Wersja z 16:25, 6 lip 2014 edytuj anuluj edycję N3st0r1 (dyskusja \| edycje) 36 edycji →‎Wstęp: poprawka następna edycja →
Linia 2: == Wstęp == Rachunek zdań jest sztucznym, bardzo uproszczonym, językiem, który umożliwia obejście wielu problemów związanych z potocznym językiem np. dwuznaczność słów. W rachunku zdań istotnymi pojęciami są pojęcia składni i semantyki. ~~Semantyka~~Składnia odpowiada na pytania z jakich podstawowych znaków składa się język oraz jak stworzyć bardziej skomplikowane wyrażenia, a w szczególności zdania, za pomocą podstawowych znaków. Z kolei pojęcie semantyki zajmuje się kwestią znaczenie podstawowych znaków języka. Semantyka odpowiada również na pytanie odnośnie znaczenia wyrażeń złożonych z podstawowych znaków, w szczególności spełnienia warunków, aby zdanie mogło być prawdziwe. <ref name="p1">Ansgar Beckermann: Wprowadzenie do logiki, wydanie 4</ref> W klasycznym rachunku zdań przyjmuje się założenie, że każdemu zdaniu można przypisać jedną z dwu [[wartość logiczna\|wartości logicznych]] – [[prawda (logika)\|prawdę]] lub [[fałsz]], które umownie przyjęto oznaczać odpowiednio 1 lub 0. ''Klasyczny rachunek zdań'' jest więc ''dwuwartościowym rachunkiem zdań''.

Rachunek zdań: Różnice pomiędzy wersjami