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