>>785
>765を拡張するだけだけど、暇つぶしに真偽表のプログラムを組んでみた。

"
医者ならば、シリツ卒なら馬鹿である　　から
シリツ卒ならば、医者ならば馬鹿である　が、導けるか？
"
"
P:医者である
Q:シリツ卒である
R:馬鹿である
"

'%=>%' = function(P,Q) !(P & !Q)
fn <- function(P,Q,R) (P %=>% (Q %=>% R)) %=>% (Q %=>% (P %=>% R))
gr=expand.grid(c(T,F),c(T,F),c(T,F))
colnames(gr)=c('P','Q','R')
data.frame(gr,fn=mapply(fn,gr[,1],gr[,2],gr[,3]))