# Propositional Logic

• José Bacelar Almeida
• Jorge Sousa Pinto
• Simão Melo de Sousa
Part of the Undergraduate Topics in Computer Science book series (UTICS)

## Abstract

Propositional logic is the basis for any study of logic. The sentences of propositional logic are built from a set of unstructured atomic propositions that are combined using a number of logical connectives. Logical connectives are Boolean operators whose names come from natural language, such as “not”, “and”, “or” and “implies”, and they are given a formal meaning that mimics its usage in natural language.

This chapter is devoted to the study of classical propositional logic. The chapter starts with a presentation of both the syntax and the semantics of propositional logic. In other words, we describe both the set of sentences of the language of propositional logic, and characterise the meaning of those sentences (i.e. which sentences are valid or not). The notion of proof derivation is then introduced as a syntactic characterisation of logical inference, and the interplay between provability and validity is established. The chapter concludes with a discussion of the decision problem of checking whether a propositional formula is valid or not.

## Keywords

Inference Rule Propositional Logic Proof System Truth Table Atomic Proposition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

1. 1.
Aczel, P.: Schematic consequence. In: Gabbay, D.M. (ed.) What Is a Logical System? Studies in Logic and Computation, pp. 261–272. Springer, Berlin (1994) Google Scholar
2. 2.
Goubault-Larrecq, J., Mackie, I.: Proof Theory and Automated Deduction. Applied Logic Series, vol. 6. Kluwer Academic, Dordrecht (1997)
3. 3.
Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, Cambridge (2009)
4. 4.
Hoos, H.H., Stutzle, T.: Satlib: an online resource for research on sat. In: Walsh, T., Gent, I.P., v. Maaren, H. (eds.) SAT 2000, pp. 283–292. IOS Press, Amsterdam (2000) Google Scholar
5. 5.
Prasad, M.R., Biere, A., Gupta, A.: A survey of recent advances in sat-based formal verification. Int. J. Softw. Tools Technol. Transf. (STTT)7(2), 156–173 (2005)

## Authors and Affiliations

• José Bacelar Almeida
• 1