TY - CHAP
T1 - Brief Introduction to Propositional Logic and Predicate Calculus
AU - Shakarian, Paulo
AU - Baral, Chitta
AU - Simari, Gerardo I.
AU - Xi, Bowen
AU - Pokala, Lahari
N1 - Publisher Copyright: © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts behind propositional logic and predicate calculus (first order logic). We cover syntax, semantics, satisfiability relationships, consistency and entailment, quantifiers and grounding, as well as how logic relates to lattice theory and fixpoint operators.
AB - Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts behind propositional logic and predicate calculus (first order logic). We cover syntax, semantics, satisfiability relationships, consistency and entailment, quantifiers and grounding, as well as how logic relates to lattice theory and fixpoint operators.
UR - https://www.scopus.com/pages/publications/85172415093
UR - https://www.scopus.com/pages/publications/85172415093#tab=citedBy
U2 - 10.1007/978-3-031-39179-8_2
DO - 10.1007/978-3-031-39179-8_2
M3 - Chapter
T3 - SpringerBriefs in Computer Science
SP - 3
EP - 14
BT - SpringerBriefs in Computer Science
PB - Springer
ER -