0875132人目の素数さん垢版2018/06/13(水) 23:49:10.28ID:qVgQuylU >>874 数理論理的に言うなら、命題とは、アトミックな論理式、すなわち原始命題から構成される論理式のことですね 複雑な論理式は、原始命題や他の命題を論理結合子で結びつけることによって作ることができます 前提とは、A→BにおけるAのことですね つまりですね、ならば命題を作ると言う段階は統語の範疇であり、意味はまだ付加されていないんですよ 少なくとも数理論理においては ここまでの説明がわからないのであれば、あなたは意見をするレベルにないと言うことです 勉強し直してくださいね