風俗嬢ですが再起して頑張り医学部に合格しました [転載禁止]©2ch.net

**卵の名無しさん** · 2015/04/06(月) 10:00:54.93

風俗板にて

風俗辞めた後に医学部に合格したと嘘をついて袋叩きにされてる様子
http://aoi.bbspink.com/test/read.cgi/club/1424999821/724
760 ：名無しさん＠ピンキー：2015/04/03(金) 17:34:23.58 ID:hEZXryQ10
>>724
アホか、お前
＞医者になった嬢も居る、
そんなの絶対いないわ、ボケ。
お前は医者と看護師の区別もつかんのか(大笑)

**卵の名無しさん** · 2017/08/14(月) 04:36:06.94

# 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

# 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,]))

**卵の名無しさん** · 2017/08/14(月) 05:04:21.09

> # 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,]))
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
>
> # 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,]))
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
>

**卵の名無しさん** · 2017/08/14(月) 05:04:38.12

> # 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,]))
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
>
> # 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,]))
[1] TRUE
[1] TRUE
[1] TRUE
[1] TRUE
>