Deducibility Theorems in Boolean Logic
综合数学
2007-05-23 v1
摘要
In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.
引用
@article{arxiv.math/0612340,
title = {Deducibility Theorems in Boolean Logic},
author = {Florentin Smarandache},
journal= {arXiv preprint arXiv:math/0612340},
year = {2007}
}
备注
4 pages