なぜ、対偶と元の命題の真偽は一致するのですか? (175レス)
1-

162: 通りすがりです [] 2023/11/11(土) 06:13:40.68 ID:Emhe97K4(1)
そもそも、Pは証明するものではない
(※Pは証明できる場合もある)

命題:兎ならば爬虫類である
兎は真(T)、爬虫類は真(T)
命題は正しくない(偽)
真理値表
兎 爬虫類 命題(兎⇒爬虫類)
T  T    F

Pに該当する兎もQに該当する爬虫類も証明するものではなく、真偽が判定(判断)できるものである

・確認用
命題:兎がかわいいならば爬虫類である
兎がかわいいは真偽判定できない(×)、爬虫類は真(T)
命題ではない(×)
真理値表(※比較用)
兎 爬虫類 命題(兎⇒爬虫類)
×  T    ×

Pに該当する兎がかわいいは真偽判定できなく、また証明するものではない

上のレスのやり取りにすれ違い、勘違いがあるような気がします。なので、互いの主張が間違っていないことを前提に考察してみました
その結果、>>159の主張するように証明できないが、
上記より、そもそも証明するものではないといえます
1-
あと 13 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.005s