(((A→B)∧(B→C))→(A→C)) の真理値表

(((A→B)∧(B→C))→(A→C))

プロパティ: トートロジー

真理値表
ABC(((A→B)∧(B→C))→(A→C))
計算機で試す