>>794
仮定ではありません
演繹です
野矢茂樹の論理学を読んでください

全称量化子というのは存在を担保していない

すべてのリンゴ　⇒　すべてのリンゴは赤い　：真

ここである1つのリンゴが在る

これは赤いか？

これについて演繹は何も答えてくれません

貴方とは議論しても無駄だと思いますからレスいらないです