Przejdź do zawartości

Formalizacja rachunku zdań

Dodaj linki
Z Wikipedii, wolnej encyklopedii

Formalizacja rachunku zdań - proces polegający na wyborze spośród tez rachunku zdań pewnych zdań jako aksjomatów i podaniu reguł wyprowadzenia z nich innych tez[1]. Proces formalizacji składa się z dwóch etapów: (1) aksjomatyzacji rachunku oraz (2) określenia reguł wyprowadzania z aksjomatów tez rachunku zdań[2].

Przypisy[edytuj | edytuj kod]

  1. ↑ Wojciech Patryas: Elementy logiki dla prawników. Ars boni et aequi, s. 34. ISBN 83-87148-32-6.
  2. ↑ Formalizacja rachunku zdań. [dostęp 2014-08-30]. [zarchiwizowane z tego adresu (2014-09-03)].
Źródło: „https://pl.wikipedia.org/w/index.php?title=Formalizacja_rachunku_zdań&oldid=63543144”