Logiweb dictionary of propositional calculus
Up
Help
0
0
propositional calculus
1
0
propositional theory
2
0
axiom one
3
0
axiom two
4
0
axiom three
5
0
mp
6
0
mendelson lemma one eight
7
2
* imply *
The pyk compiler
, version 0.grue.20050603 by
Klaus Grue
,
GRD-2005-06-06.UTC:10:04:56.802958
=
MJD-53527.TAI:10:05:28.802958
=
LGT-4624769128802958e-6