Adobe PDF
(548.51 kB)
| Title Details: | |
|
Elements of Predicate Logic |
|
| Authors: |
Souliou, Dora Patsilinakos, Panagiotis Fotakis, Dimitrios |
| Description: | |
| Abstract: |
This chapter focuses on predicate logic, starting with the syntax of first-order languages. It examines, among other things, the structure of types, variables, and the semantic approach.
|
| Linguistic Editors: |
Tikopoulou, Magda |
| Technical Editors: |
Souliou, Dora Patsilinakos, Panagiotis Fotakis, Dimitrios |
| Graphic Editors: |
Δώρα, Dora Patsilinakos, Panagiotis Fotakis, Dimitrios |
| Type: |
Chapter |
| Creation Date: | 21-03-2025 |
| Item Details: | |
| License: |
Attribution - NonCommercial - ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| Handle | http://hdl.handle.net/11419/14654 |
| Bibliographic Reference: | Souliou, D., Patsilinakos, P., & Fotakis, D. (2025). Elements of Predicate Logic [Chapter]. In Souliou, D., Patsilinakos, P., & Fotakis, D. 2025. Discrete Mathematics [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/14654 |
| Language: |
Greek |
| Is Part of: |
Discrete Mathematics |
| Publication Origin: |
Kallipos, Open Academic Editions |