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.