Formalizacja rachunku zdań
Z Wikipedii
Niektóre informacje zawarte w artykule wymagają weryfikacji. Do weryfikacji: Wątpliwy term, czy rzeczywiście funkcjonuje samodzielnie, jako niezależne pojęcie w logice? Szczególnie w odniesieniu do rachunku zdań nie ma zbyt wiele miejsca na "ogólną teorię". Oczywiście, można rozważać różne zestawy reguł dowodzenia i aksjomatów - ale czy to się robi (poza zadaniami dla studentów)? Źródła? |
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.
Składa się z dwóch etapu - aksjomatyzacji rachunku oraz określenia reguł wyprowadzania z aksjomatów tez rachunku zdań.