Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233322960> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4233322960 endingPage "52" @default.
- W4233322960 startingPage "5" @default.
- W4233322960 abstract "The treatment of propositional logic, and of all following logical systems, is firmly based on a precise and systematic introduction of its language and syntax. Simple as the language may be, the reader will benefit from the systematic use of inductive and recursive procedures employed in this book. It would be hard and inconvenient to establish important properties of the language with a mathematical precision without recourse to the suitable induction principles. As a rule it is a rewarding experience for newcomers to see that what should be the case in formal logic, can indeed be simply proved. The semantics of propositional logic is based on the traditional truth values 0 and 1 (false and true). A rich variety of important and useful principles are established with surprising ease by inductive means. On the whole, the reader will be surprised how much milage one gets out of a well-chosen methodology. Once the notion of truth is made clear, one turns to formal proof methods. The system used here is Gentzen’s Natural Deduction. If ever the adjective “natural” was well chosen, it was here. Natural Deduction allows students to concoct their own derivations without any intricate tricks. Even the completeness theorem—true = derivable—becomes simple in the present setting. Here and in all later chapters, numerous exercises present the reader with occasions to apply the given tools." @default.
- W4233322960 created "2022-05-12" @default.
- W4233322960 creator A5080621032 @default.
- W4233322960 date "2013-01-01" @default.
- W4233322960 modified "2023-10-17" @default.
- W4233322960 title "Propositional Logic" @default.
- W4233322960 doi "https://doi.org/10.1007/978-1-4471-4558-5_2" @default.
- W4233322960 hasPublicationYear "2013" @default.
- W4233322960 type Work @default.
- W4233322960 citedByCount "4" @default.
- W4233322960 countsByYear W42333229602020 @default.
- W4233322960 countsByYear W42333229602023 @default.
- W4233322960 crossrefType "book-chapter" @default.
- W4233322960 hasAuthorship W4233322960A5080621032 @default.
- W4233322960 hasConcept C102993220 @default.
- W4233322960 hasConcept C111472728 @default.
- W4233322960 hasConcept C134306372 @default.
- W4233322960 hasConcept C138885662 @default.
- W4233322960 hasConcept C14523651 @default.
- W4233322960 hasConcept C154945302 @default.
- W4233322960 hasConcept C17231256 @default.
- W4233322960 hasConcept C195324797 @default.
- W4233322960 hasConcept C199343813 @default.
- W4233322960 hasConcept C199360897 @default.
- W4233322960 hasConcept C203659156 @default.
- W4233322960 hasConcept C2777686260 @default.
- W4233322960 hasConcept C2780586882 @default.
- W4233322960 hasConcept C33203268 @default.
- W4233322960 hasConcept C33923547 @default.
- W4233322960 hasConcept C3845977 @default.
- W4233322960 hasConcept C41008148 @default.
- W4233322960 hasConcept C60048249 @default.
- W4233322960 hasConcept C62073222 @default.
- W4233322960 hasConcept C69562738 @default.
- W4233322960 hasConcept C71924100 @default.
- W4233322960 hasConceptScore W4233322960C102993220 @default.
- W4233322960 hasConceptScore W4233322960C111472728 @default.
- W4233322960 hasConceptScore W4233322960C134306372 @default.
- W4233322960 hasConceptScore W4233322960C138885662 @default.
- W4233322960 hasConceptScore W4233322960C14523651 @default.
- W4233322960 hasConceptScore W4233322960C154945302 @default.
- W4233322960 hasConceptScore W4233322960C17231256 @default.
- W4233322960 hasConceptScore W4233322960C195324797 @default.
- W4233322960 hasConceptScore W4233322960C199343813 @default.
- W4233322960 hasConceptScore W4233322960C199360897 @default.
- W4233322960 hasConceptScore W4233322960C203659156 @default.
- W4233322960 hasConceptScore W4233322960C2777686260 @default.
- W4233322960 hasConceptScore W4233322960C2780586882 @default.
- W4233322960 hasConceptScore W4233322960C33203268 @default.
- W4233322960 hasConceptScore W4233322960C33923547 @default.
- W4233322960 hasConceptScore W4233322960C3845977 @default.
- W4233322960 hasConceptScore W4233322960C41008148 @default.
- W4233322960 hasConceptScore W4233322960C60048249 @default.
- W4233322960 hasConceptScore W4233322960C62073222 @default.
- W4233322960 hasConceptScore W4233322960C69562738 @default.
- W4233322960 hasConceptScore W4233322960C71924100 @default.
- W4233322960 hasLocation W42333229601 @default.
- W4233322960 hasOpenAccess W4233322960 @default.
- W4233322960 hasPrimaryLocation W42333229601 @default.
- W4233322960 hasRelatedWork W1812576425 @default.
- W4233322960 hasRelatedWork W1969496630 @default.
- W4233322960 hasRelatedWork W1991664539 @default.
- W4233322960 hasRelatedWork W202251575 @default.
- W4233322960 hasRelatedWork W2025571074 @default.
- W4233322960 hasRelatedWork W2057066322 @default.
- W4233322960 hasRelatedWork W2078790484 @default.
- W4233322960 hasRelatedWork W2151523288 @default.
- W4233322960 hasRelatedWork W4381491930 @default.
- W4233322960 hasRelatedWork W2485483011 @default.
- W4233322960 isParatext "false" @default.
- W4233322960 isRetracted "false" @default.
- W4233322960 workType "book-chapter" @default.