Probability distribution for simple tautologies

Tytuł:

Czasopismo:

Rok:

2006

Opis:

In this paper we investigate the size of the fraction of tautologies of the given length n against the number of all formulas of length n for implicational logic. We are specially interested in asymptotic behavior of this fraction. We demonstrate the relation between a number of premises of implicational formula and asymptotic probability of finding formula with this number of premises. Furthermore, we investigate the distribution of this asymptotic probabilities. Distribution for all formulas i

Strony:

243-260

Tom (seria wydawnicza):

355

Link:

http://www.sciencedirect.com/science/article/pii/S030439750600048X