>>970
そうです
演繹は真の命題しか扱いません