命題論理で恒真の式