On the asymptotic density of tautologies in logic of implication and negation

Tytuł:
On the asymptotic density of tautologies in logic of implication and negation
Czasopismo:
Rok:
2005

Opis:
A b s t r a c t. The paper solves the problem of nding the asymptotic probability of the set of tautologies of classical logic with one propositional variable, implication and negation. We investigate the proportion of tautologies of the given length n among the number of all formulas of length n. We are especially interested in asymptotic behavior of this proportion when n ! 1. If the limit exists it represents the real number between 0 and 1 which we may call density of tautologies for

Strony:
67-87

Tom (seria wydawnicza):
39

Link:
http://www.iphils.uj.edu.pl/rml/rml-39/zaionc.pdf