- 「安倍が死ねば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真 [無断転載禁止]©2ch.net
88 ：１３２人目の素数さん[sage]：2017/08/13(日) 18:16:35.57 ID:+zIOnWE6 - # Lukasiewicz
library('gtools')
pm2=permutations(2,2,v=c(T,F),re=TRUE) ; pm2
pm3=permutations(2,3,v=c(T,F),re=TRUE) ; pm3
imply <- function(x,y) !x || y
eqv <- function(x,y) (!x||y)&&(!y||x)
for(i in 1:4) print(f1(pm2[i,]))
for(i in 1:8) print(f1(pm3[i,]))
# L1 : A->(B->A)
f <- function(A,B) imply(A,imply(B,A))
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))
# L2 : (A->(B->C))->((A->B)->(A->C))
f <- function(A,B,C) imply(imply(A,imply(B,C)),imply(imply(A,B),imply(A,C)))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))
# L3 : (!B->!A) -> (A->B)
f <- function(A,B,C) imply(imply(!B,!A),imply(A,B))
f1 <- function(pm) f(pm[1],pm[2],pm[3])
for(i in 1:8) print(f1(pm3[i,]))
# modus ponens A & (A->B) -> B
f <- function(A,B) imply(A && imply(A,B),B)
f1 <- function(pm) f(pm[1],pm[2])
for(i in 1:4) print(f1(pm2[i,]))
|
