Propositional Logic: Fundamentals and Applications
Giới thiệu về sách nói này
What Is Propositional Logic
The field of logic that is known as propositional calculus. There are a few other names for it, including propositional logic, statement logic, sentential calculus, sentential logic, and occasionally zeroth-order logic. It examines propositions as well as the relations that exist between propositions, as well as the formulation of arguments that are founded on propositions. By combining individual statements with various logical connectives, one can create compound propositions. Atomic propositions are those that don't have any logical connectives in them, as the name suggests.
How You Will Benefit
(I) Insights, and validations about the following topics:
Chapter 1: Propositional calculus
Chapter 2: Axiom
Chapter 3: First-order logic
Chapter 4: Modus tollens
Chapter 5: Consistency
Chapter 6: Contradiction
Chapter 7: Rule of inference
Chapter 8: List of rules of inference
Chapter 9: Deduction theorem
Chapter 10: Theory (mathematical logic)
(II) Answering the public top questions about propositional logic.
(III) Real world examples for the usage of propositional logic in many fields.
(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of propositional logic' technologies.
Who This Book Is For
Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of propositional logic.
Giới thiệu tác giả
Fouad Sabry is the former Regional Head of Business Development for Applications at HP in Southern Europe, Middle East, and Africa (SEMEA). Fouad has received his B.Sc. of Computer Systems and Automatic Control in 1996, dual masterâs degrees from University of Melbourne (UoM) in Australia, Master of Business Administration (MBA) in 2008, and Master of Management in Information Technology (MMIT) in 2010.
Fouad has more than 20 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM in Middle East and Africa (MEA) region. Fouad joined HP Middle East (ME), based in Dubai, United Arab Emirates (UAE) in 2013 and helped develop the software business in tens of markets across Southern Europe, Middle East, and Africa (SEMEA) regions. Currently, Fouad is an entrepreneur, author, futurist, focused on Emerging Technologies, and Industry Solutions, and founder of One Billion Knowledgeable (1BK) Initiative.
