命題（主張）の基本型：対偶の法則と全称・特称命題の正しい解釈

命題（主張）の型

命題の型の基本から再確認。

命題（主張）を、「”p” ならば ”q” である」、「”p” は ”q” である」の型をベースとれば

「”p”ならば”q”」の言い換えである「逆」「裏」「対偶」は、以下となる

この時、

命題「”p”ならば”q”」の言い換えに対し、常に正しいのは”対偶”のみ
つまり「”qでない”ならば”pでない”」のみである

逆や裏は一般には成立しない。が、命題が必要十分条件である場合などには成立することもある。
(正しい場合もあるし、正しくない場合もある)

「1たす1は2である」という命題に対し、逆の「2は1たす1である」は正しいが、
「サルの尻は赤い」に対する逆「尻が赤いものはサルである」であるは正しくない。

この時々正しくて、時々違うところを遊ぶのが、詭弁が入り込む余地が生まれる。

つづいて命題（主張）の型

主張（命題）の型には下記 4通りの組み合わせがある。
（この主張の型はとりあえず頭の片隅にいれておく（三段論法で必要））

“すべてのAは～”という文章を全称文といい、“あるAは～”という文章は特称文という。

「全てのAは～」とは、「Aであるものが存在する場合にはそのすべてが例外なく～である」という意味である
- 形式論理では、Aが一つも存在しない場合でも反例が存在しないため真と扱われる。
  （これは「空虚真理」と呼ばれ、直感的な意味での真とは異なるため注意が必要である）
「あるAはBである～」とは、「少なくとも一つは存在する」という意味である
- ちなみに自然言語では、「ある」はしばしば「多くの場合」や「典型的に」と誤解・誤認知される事があるため、以下の特称命題を用いる際の「ある～」は、「少なくとも一つは〜」と読みかえることを推奨