Definicja wyrażenia sensownego KRZ Wyrażeniem sensownym KRZ lub formułą KRZ, nazywamy taki i tylko taki skończony ciąg symboli alfabetu KRZ, który jest zbudowany zgodnie z następującymi regułami: Każda zmienna zdaniowa jest formułą. Jeżeli α i β są formułami, to ich połączenie funktorem też jest formułą.
Zobacz też
algebra Boole’a binegacja (NOR) dysjunkcja (NAND) negacja prawa rachunku zdań
Przypisy
Bibliografia
Linki zewnętrzne