20/12/15 19:58:00.31 QEfzM0Mb.net
# PならばQ ≡ (P かつ (Qでない))ではない
'%=>%' = function(P,Q) !(P & !Q)
gr=expand.grid(c(T,F),c(T,F),c(F,F))
colnames(gr)=c('rain','wind','thunder')
f1 = function(rain, wind,thunder) rain %=>% (wind & thunder)
f2 = function(rain, wind,thunder) (!wind & !thunder) %=>% !rain
f3 = function(rain, wind,thunder) !wind %=>% !rain
data.frame(gr,f1=mapply(f1,gr[,1],gr[,2],gr[,3]),
f2=mapply(f2,gr[,1],gr[,2],gr[,3]),
f3=mapply(f1,gr[,1],gr[,2],gr[,3]))
gr=expand.grid(c(T,F),c(F,T),c(F,T))
colnames(gr)=c('rain','wind','thunder')
f1 = function(rain, wind,thunder) rain %=>% (wind & thunder)
f2 = function(rain, wind,thunder) (!wind & !thunder) %=>% !rain
f3 = function(rain, wind,thunder) !wind %=>% !rain
data.frame(gr,f1=mapply(f1,gr[,1],gr[,2],gr[,3]),
f2=mapply(f2,gr[,1],gr[,2],gr[,3]),
f3=mapply(f1,gr[,1],gr[,2],gr[,3]))