pm3.2i Show Code edit
## Conjunction from premises
##
## ph ] ]
## [ [ ps
## (/\ ph ] [ ps)
##
thm (pm3.2i () (1 ph 2 ps) (/\ ph ps)
2 1 ph ps and ax-mp ax-mp)
(/\ ph ps)
edit