一个真值函项偶然逻辑的希尔伯特演算系统

摘要

如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的.真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题.本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算.在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的.