... PYT 台 T PVFP PVTPAT 同一律否定律設 P , Q 為兩個合式公式,若它們的條件式 P → Q 為一個重言式,則稱 P 蘊涵 Q ( P imply Q ) , CHE P Q.例 PAQ → P .這可由真 ...
確定! 回上一頁