なぜ、対偶と元の命題の真偽は一致するのですか?
>>145
真でも偽でもないんだから前提が成り立つ場合が存在ないだろ
もうひとつ、真偽値の定義が2通りあるのもどうにかしろよ
1つ目の定義
>古典論理では
>証明できる論理式全体を真
>否定が証明できる論理式全体を偽
2つ目の定義
>P,Qが真または偽である場合にのみP⇒Qの真>偽値が定まるわけ
P→Pとかどっちを使うつもりなんだよ >>146
>証明できるかどうかで真偽値を定める
証明できるか否定が証明できるかな
まいいから勉強してな >>148
たいして変わらん
どうせほとんど全ての論理式が真でも偽でもないんだから >>147
P⇒Qの真偽値表を定義する場合な
P⇒Pの真偽値表を作る場合はもちろんPに真偽が定まるすなわち証明されることが前提
それによりP⇒Pの真偽値表が
P=T P⇒P=T
P=F P⇒P=T
と定義される >>149
当たり前だw
真偽が定まるとは証明されることが必要 >>150
だからPは証明できないんだから、前提が満たされることは決してないって何度も言ってるだろ >>152
Pが真もしくは偽の場合と何度も言っているだろw
とにかく
真偽の定義を勉強しろよ
素朴すぎるのはいかんよ >>153
¬Pも証明できないんだかろ偽でもないだろ
いい加減にしてくれよ Pが証明できない理由も、¬Pが証明できない理由もほとんど同じなんだから頭使えよ >>154
あのね「何の前提もなく」Pも¬Pも証明できるわけ無いのは当たり前だと何度も言ってるんだが?
P⇒Qの真理値表はPやQに真偽値が定まる場合に作られるのよ
つまりシーケント計算で導出できる場合にね
いいから
真偽値の定義について勉強してくれよ >>156
じゃあその必要な前提を君の定義に明記してみろよ
Pが証明できる前提なんてP自身かP∧Qとかしかないけどどうするつもりなんだよ ちなみに今回の「フェルマーの料理」で「対偶」という
言葉が出て来ました。(以下要約)
(店主)どうやって揚げる事を思いついた?
(新人)対偶です
(主人)対偶?
(新人)高温調理が無理なのは素材を損なうから。
じゃあ素材を損なわないなら高温調理も可能なんです。
そこで焼くんじゃなく揚げようと
(同僚)全然分かんねえ だいたい標準的なやり方を無視して証明で真偽を定めるからぶっこわれるんだよ
命題を分解していったら、証明できない部品に分かれるに決まってるんだから、部分構造の証明可能性で全体の真偽を与えるなんて端から無理に決まってる
しかも、そんな真偽の決め方をしたら健全性とか完全性なんて無意味になるじゃん そもそも、Pは証明するものではない
(※Pは証明できる場合もある)
命題:兎ならば爬虫類である
兎は真(T)、爬虫類は真(T)
命題は正しくない(偽)
真理値表
兎 爬虫類 命題(兎⇒爬虫類)
T T F
Pに該当する兎もQに該当する爬虫類も証明するものではなく、真偽が判定(判断)できるものである
・確認用
命題:兎がかわいいならば爬虫類である
兎がかわいいは真偽判定できない(×)、爬虫類は真(T)
命題ではない(×)
真理値表(※比較用)
兎 爬虫類 命題(兎⇒爬虫類)
× T ×
Pに該当する兎がかわいいは真偽判定できなく、また証明するものではない
上のレスのやり取りにすれ違い、勘違いがあるような気がします。なので、互いの主張が間違っていないことを前提に考察してみました
その結果、>>159の主張するように証明できないが、
上記より、そもそも証明するものではないといえます TikTok LiteでPayPayやAmazonギフトなどに交換可能な4000円分のポイントをプレゼント中!
※既存TikTokユーザーの方はTikTokアプリからログアウトしてアンインストールすれば参加できる可能性があります。
1.SIMの入ったスマホ・タブレットを用意する
2.以下のTikTok Litのサイトからアプリをダウンロード(ダウンロードだけでまだ起動しない)
https://lite.tiktok.com/t/ZSNfJKJMg/
3.ダウンロード完了後、もう一度上記アドレスのリンクからアプリを起動
4.アプリ内でTikTok未使用の電話番号かメールアドレスを使用して登録
5.10日間連続チェックインで合計で4000円分のポイントゲット
ポイントはPayPayやAmazonギフト券に交換可能!
家族・友人に紹介したり通常タスクをこなせば更にポイントを追加で獲得できます。 彼の言ってたのは
料理の出来は次のルールで定めます。
うんこ味だった場合はカレーの出来は悪いと定めます。
これで全てのカレーについて出来を定めることができました。
みたいな話だからな
こっちがほとんどのカレーはうんこ味じゃないだろって言っても、返ってくるのが「カレーがうんこ味じゃないのは当然だ」とか「カレーがうんこ味になるには条件が必要」なんだぞ意味がわかんねーよ もしかして、
「人間は哺乳類である」
「AならばBである」
「p⇒q」
「P⇒Q」
全体集合U
何故、A,Bやp,qやP,QやUが使われているのか分からないってことですか?
>>5~>>53
P, Qの集合とは?(>5)
条件 p を満たすものの全体の集合とはなんですか?(>11,>27,>29,>46)
「Aをみたす集合」とは何ですか?(>18,>53)
「命題Pに対して、Pをみたす集合」とは何ですか?(>25)
条件pに対して、pをみたすものの集合の定義を述べて下さい(>33)
全体集合Uとは?(>42) 条件とは何らかの変数xについて
成立するxの値が決まるものだろう 集合wとか変数xとか条件が揃えばPが証明できるwとか言ってるのみると、PとかQをどこかで定義された名前だと思ってるフシがあるよね >>156
まだ修正できないの?
今のままじゃ、決して証明できないものが証明できる場合にしか真偽値が定義されないってことになってるんだぞ
はやくしろよ UPLIFT プレミアム・サービスのお知らせ
https://uplift.5ch.net/
UPLIFT 主な特典
・連続投稿の規制を緩和します。
・スレッド作成時の規制を緩和します。
・5ch.netのスレッド表示画面に表示される広告を除去します。
・5ch.net専用ブラウザで5ch.netの過去ログを閲覧できるようになります。
・海外からのアクセス・ホスト経由からでも書き込みができるようになります。
・書き込みが規制されているプロバイダーからでも書き込みができるようになります。
・5ch.netを安定して利用できるように運営を支援できます。
5ちゃんねるを存続させるためには、皆様のご協力が必要です。
最後まで御精読いただきありがとうございました。