期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2017
卷号：95
期号：12
页码：2824
出版社：Journal of Theoretical and Applied
摘要：Mathematics is considered the base for computer science. In particular, discrete mathematics is commonly used in many disciplines of computer science. One of the main topics that are discussed in discrete mathematics is quantifiers and their relations with logical operators. Accordingly, this paper proposes a new method to prove the validity of some implications involving quantifiers and logical operators. The proposed method is based on the idea of showing that whenever the premise of the implication is true, the conclusion cannot be false (must be true), so the implication is valid. On the other hand, if the conclusion can be false then the implication is not valid.
关键词：Predicate logic; Propositional logic; Quantifiers and Logical operators; Validity of implications
