Riassunto
Come già fatto per la logica proposizionale, predisponiamo ora il materiale necessario per scrivere le espressioni su cui agirà il calcolo logico. In una prima fase lavoreremo solo con formule simili alle clausole della logica proposizionale, poi estenderemo il calcolo a tutte le formule.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Italia
About this chapter
Cite this chapter
Mundici, D. (2011). Sintassi della logica dei predicati. In: Logica: Metodo Breve. UNITEXT(), vol 1. Springer, Milano. https://doi.org/10.1007/978-88-470-1884-6_12
Download citation
DOI: https://doi.org/10.1007/978-88-470-1884-6_12
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-1883-9
Online ISBN: 978-88-470-1884-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)