…条件なるものの性格は必ずしも明確でないが,大きくは論理的なそれと非論理的なそれとに類別できよう。論理的条件の中心は現代論理の中核にある標準論理の条件で,いま任意の2命題をp,qとすると,p→qあるいはp⊃q等で表現され,その全体を条件(式),→(または⊃)を条件詞(または条件記号),pをqの前件,qをpの後件という。また,pをqの十分条件,qをpの必要条件というが,必要条件という命名の理由は,p,qのそれぞれを否定にして順をかえた〈qでないならばpでない〉は〈pならばq〉のいわゆる〈対偶〉で,両者は互いに等しく,したがって,〈pならばq〉とは〈qが成り立たなければpも成り立たない〉に等しい点にある。…
※「後件」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新