- 461 名前：１３２人目の素数さん mailto:sage [2024/03/18(月) 07:03:43.55 ID:SmJouPnz.net]
- >>444
朝飯前に真偽値表を作る
R言語のコードのサラダ
'%->%' = \(x,y) !(x&!y)
SBU=as.matrix(expand.grid(c(T,F),c(T,F),c(T,F)))
colnames(SBU)=c('S','B','U')
S=SBU[,1] ; B=SBU[,2] ; U=SBU[,3]
S:シリツ医である
B:バカである
U:ウラグチである
命題 P1 :シリツ医ならば、（バカならばウラグチである）
命題 P2 :シリツ医ならば、（バカでないならウラグチでない）
命題 P3 :シリツ医でかつバカでないならば、ウラグチでない
P1 = mapply(\(S,B,U) S %->% (B %->% U), S,B,U)
P2 = mapply(\(S,B,U) S %->% (!B %->% !U),S,B,U)
P3 = mapply(\(S,B,U) (S & !B) %->% !U, S,B,U)
(1) P1ならばP2 が偽になるのはどのようなときか？
(2) P1ならばP3 が偽になるのはどのようなときか？
P12 = P1 %->% P2
P13 = P1 %->% P3
cbind(S,B,U,P12,P13)
|
 |
