>>761
手書きは面倒なのでプログラムで算出（実は、プログラミングの練習）

# PならばQ ≡　(P かつ (Qでない))ではない
'%=>%' = function(P,Q) !(P & !Q)
# ¬p→(¬p∨q)は恒真命題か
gr=expand.grid(c(T,F),c(T,F))
colnames(gr)=c('P','Q')
f <- function(P,Q) (!P) %=>% (!P | Q)
data.frame(gr, f=mapply(f,gr[,1],gr[,2]))

> data.frame(gr, f=mapply(f,gr[,1],gr[,2]))
P Q f
1 TRUE TRUE TRUE
2 FALSE TRUE TRUE
3 TRUE FALSE TRUE
4 FALSE FALSE TRUE

∴ｆ は恒真命題