逻辑、真理与概率

命题逻辑在实数域上被推广。构造了伯努利独立试验方案的逻辑类比。采用非标准分析的一个变体来定义逻辑函数,该函数具有经典概率函数的所有性质。由该函数的性质推导出了大数定律的逻辑类比。