>>957
はい
野矢茂樹の演繹です
仮定ではありません
前提です
前提とは
Fxは真であるとするならばQxも真である
と言えることです