Research ArticleOpen accessIn the keywordsPowerful Features of the Modern Syllogistic Method of Propositional LogicAli Muhammad Rushdi, Omar Mohammed Ba-RukabIn traditional propositional logic, many replacement and inference rules were involved to ascertain if the truth of several antecedents implied the truth of a particular consequent. This research described a powerful technique called the Modern Syllogistic Method (MSM), which ferreted out from a set of premises all that can be concluded from it and casted the resulting conclusions in the … …Journal of Mathematics and Statistics, Vol. 4, Issue 3 · 30 Sep 2008 · 7,108 accessesView PDFCite
Research ArticleOpen accessIn the abstractA 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