Research ArticleOpen accessEvery word in the titleA Method of Deductive Logical Inference ProofsMaher A. Nabulsi, Ayman M. AbdallaA method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 7,475 accessesView PDFCite