Open AccessCOMPOUND PROPOSITIONAL LAW FOR LOGICAL EQUIVALENCE, TAUTOLOGY AND CONTRADICTION
Author(s) -
Umair Khalid Qureshi
Publication year - 2021
Publication title -
journal of mechanics of continua and mathematical sciences
Language(s) - English
Resource type - Journals
eISSN - 2454-7190
pISSN - 0973-8975
DOI - 10.26782/jmcms.2021.01.00002
Subject(s) - tautology (logic) , proposition , contradiction , negation , law of excluded middle , equivalence (formal languages) , logical equivalence , statement (logic) , propositional calculus , mathematics , mathematical economics , epistemology , truth table , law , calculus (dental) , computer science , philosophy , discrete mathematics , linguistics , political science , propositional variable , algorithm , theoretical computer science , description logic , medicine , dentistry , intermediate logic
This paper presents a Compound Propositional Law for Logical Equivalence, Tautology and Contradiction. The proposed Law is developed with the help of negation, disjunction, conjunction, exclusive or, conditional statement and bi-conditional statement. The idea of research is taken from de-Morgan law. This proposed law is important and useful for Logical Equivalence, Tautology and Contradiction for the research purpose because these are the rare cases in the field of research. This article aims to help readers understand the compound proposition and proposition equivalence in conducting research. This article discusses propositions that are relevant for proposition equivalence. Six main compound propositions are distinguished and an overview is given in the article. Hence, it is observed from the result and discussion that the compound proposition law is a good achievement in discrete structure for the logical Equivalence, Tautology and Contradiction purpose.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom