Deducibility Theorems in Boolean Logic
Main Author: | Smarandache, Florentin |
---|---|
Format: | Article Journal |
Terbitan: |
, 2007
|
Subjects: | |
Online Access: |
https://zenodo.org/record/57679 |
Daftar Isi:
- 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.