Formalizacja rachunku zdań
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- ↑ Wojciech Patryas: Elementy logiki dla prawników. Ars boni et aequi, s. 34. ISBN 83-87148-32-6.
- ↑ Formalizacja rachunku zdań. [dostęp 2014-08-30]. [zarchiwizowane z tego adresu (2014-09-03)].