- 当直医のスレ Part23 [無断転載禁止]©2ch.net
387 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-9d76)[sage]：2017/08/21(月) 14:51:23.87 ID:uqi12/Ec0 - ド底辺シリツ医大がなければ
馬鹿を医者にするな というキャンペーンが可能
ド底辺シリツ医大があると
医者を馬鹿にするな というキャンペーンが必要になる
| - 当直医のスレ Part23 [無断転載禁止]©2ch.net
389 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-jLVh)[sage]：2017/08/21(月) 20:17:13.49 ID:uqi12/Ec0 - 知恵袋にこんな質疑応答があった
｢バカは死ななきゃなおらない｣
から、
｢バカは死ねばなおる｣
が言えるか？
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13136164263
面白いのでRでスクリプトを書いて真理表を書かせてみる。
# 馬鹿は死ななきゃ治らない から 馬鹿は死ねば治る と演繹できるか？
# P->(!Q->!R) |- P->(Q->R) は 恒真式か？
pm3=matrix(c(T,T,T,
T,T,F,
T,F,T,
T,F,F,
F,T,T,
F,T,F,
F,F,T,
F,F,F),ncol=3)
colnames(pm3)=c('P','Q','R'); pm3
imply <- function(x,y) !(x&&!y)
f <- function(P,Q,R) imply(imply(P,imply(!Q,!R)),imply(P,imply(Q,R)))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
result=logical(8)
for(i in 1:8) result[i]=f1(pm3[i,])
cbind(pm3,result)
| - 当直医のスレ Part23 [無断転載禁止]©2ch.net
390 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-jLVh)[sage]：2017/08/21(月) 20:18:07.02 ID:uqi12/Ec0 - >>386,388
>251
>350
| - 当直医のスレ Part23 [無断転載禁止]©2ch.net
391 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-jLVh)[sage]：2017/08/21(月) 20:29:16.30 ID:uqi12/Ec0 - >>389 (修正版)
pm3=matrix(c(T,T,T,
T,T,F,
T,F,T,
T,F,F,
F,T,T,
F,T,F,
F,F,T,
F,F,F),byrow=TRUE,ncol=3)
# library(gtools)
# pm3=permutations(2,3,v=c(T,F),re=TRUE) ; pm3
colnames(pm3)=c('P','Q','R'); pm3
imply <- function(x,y) !(x&&!y)
f <- function(P,Q,R) imply(imply(P,imply(!Q,!R)),imply(P,imply(Q,R)))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
result=logical(8)
for(i in 1:8) result[i]=f1(pm3[i,])
cbind(pm3,result)
実行すると恒真式でないことがわかる。
| - 当直医のスレ Part23 [無断転載禁止]©2ch.net
392 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-jLVh)[sage]：2017/08/21(月) 20:38:35.07 ID:uqi12/Ec0 - >>391
P:馬鹿である
Q:死ぬ
R：治る
で
P->(!Q->!R) |- P->(Q->R) は 恒真式か？
という問題は、
（馬鹿ならば、死なないならば治らない）ならば（馬鹿ならば、死ねならば治る）
が偽であるのはどういう場合かという問題だな。
| - 当直医のスレ Part23 [無断転載禁止]©2ch.net
393 ：卵の名無しさん (ﾜｯﾁｮｲ 61d5-3KK3)[sage]：2017/08/21(月) 20:59:55.94 ID:uqi12/Ec0 - >>391 typo修正
P:馬鹿である
Q:死ぬ
R：治る
で
P->(!Q->!R) |- P->(Q->R) は 恒真式か？
という問題は、
（馬鹿ならば、死なないならば治らない）ならば（馬鹿ならば、死ぬならば治る）
が偽であるのはどういう場合かという問題だな。
|
|