基于蕴涵度和蕴涵率的蕴涵型命题真值求法
기우온함도화온함솔적온함형명제진치구법
A Truth Computation Method for Implication Compound Proposition Based on Implication Degree and Implication Rate