[過去ﾛｸﾞ] 「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ (87ﾚｽ)

「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ http://rio2016.5ch.net/test/read.cgi/math/1710660636/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

9: １３２人目の素数さん [sage] 2024/03/17(日) 19:44:04.08 ID:pYCg9is/ >7 XならばYを　（XでかつYでない）ということはない　として R言語で真理値表を算出 '%>%' = \(x,y) !(x&!y) 動作確認 T %>% T [1] TRUE T %>% F [1] FALSE F %>% T [1] TRUE F %>% F [1] TRUE PQR=expand.grid(c(T,F),c(T,F),c(T,F)) f=\(x){ P=x[1] Q=x[2] R=x[3] ( (P %>% Q) & (Q %>% R) ) %>% (P %>% R) } re=cbind(PQR,apply(PQR,1,f)) colnames(re)=c('P','Q','R','{(P->Q)&(Q->R)}->(P->R)') re 結果 > re P Q R {(P->Q)&(Q->R)}->(P->R) 1 TRUE TRUE TRUE TRUE 2 FALSE TRUE TRUE TRUE 3 TRUE FALSE TRUE TRUE 4 FALSE FALSE TRUE TRUE 5 TRUE TRUE FALSE TRUE 6 FALSE TRUE FALSE TRUE 7 TRUE FALSE FALSE TRUE 8 FALSE FALSE FALSE TRUE http://rio2016.5ch.net/test/read.cgi/math/1710660636/9

10: １３２人目の素数さん [sage] 2024/03/17(日) 19:44:41.12 ID:pYCg9is/ 練習問題 P1:馬鹿は,死ななきゃ治らない　から　 P2:馬鹿は,死ねば治る　と演繹できるか？ http://rio2016.5ch.net/test/read.cgi/math/1710660636/10

11: １３２人目の素数さん [sage] 2024/03/17(日) 19:48:29.77 ID:pYCg9is/ 応用問題 # ｛P2:「馬鹿は、死ねば治る」ならばP1:「馬鹿は、死ななきゃ治らない」｝が真ならば # P1:「馬鹿は、死ななきゃ治らない」は真か？ http://rio2016.5ch.net/test/read.cgi/math/1710660636/11

12: １３２人目の素数さん [sage] 2024/03/17(日) 19:52:11.32 ID:pYCg9is/ 問題　真偽が一致する組み合わせを述べよ。 P0 馬鹿は死ななきゃ、治らない P1 馬鹿は、死ななきゃ治らない P2 馬鹿は、死ねば治る P3 馬鹿が死んでりゃ、治っている P4 馬鹿が治ってれば、死んでいる P5 死なずに治れば、馬鹿じゃない http://rio2016.5ch.net/test/read.cgi/math/1710660636/12

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.006s