>>965
わかる・わからない
という仮定の世界の話ではなく
真の前提から導出されるものは真の結論である
ということです

きっとその議論は条件法の話だと思います

真理表
真　⇒　真
真　⇒　偽
偽　⇒　真
偽　⇒　偽

演繹はこれとは無関係です