世界大百科事典（旧版）内の条件記号の言及
【条件】より
…条件なるものの性格は必ずしも明確でないが，大きくは論理的なそれと非論理的なそれとに類別できよう。論理的条件の中心は現代論理の中核にある標準論理の条件で，いま任意の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も成り立たない〉に等しい点にある。…
※「条件記号」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」