Logic: propositional calculus

Lightfoot, David

doi:10.1007/978-1-349-12144-1_4

David Lightfoot²

Part of the book series: Macmillan Computer Science Series ((COMPSS))

35 Accesses

Abstract

The example at the end of the previous chapter which discovered whether or not a person was on board an aircraft used the logical operators AND and OR. This chapter gives a fuller explanation of these and other logical operators.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

School of Computing and Mathematical Sciences, Oxford Polytechnic, UK
David Lightfoot

Authors

David Lightfoot
View author publications
You can also search for this author in PubMed Google Scholar

Copyright information

About this chapter

Cite this chapter

Lightfoot, D. (1991). Logic: propositional calculus. In: Formal Specification Using Z. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-12144-1_4

Download citation

DOI: https://doi.org/10.1007/978-1-349-12144-1_4
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-54408-2
Online ISBN: 978-1-349-12144-1
eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics