Symbolic logic: syntax, semantics, and proof

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees a...

Descripción completa

Detalles Bibliográficos
Autor principal: Agler, David
Lenguaje:eng
Publicado: Rowman & Littlefield 2012
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2278791
_version_ 1780955395141926912
author Agler, David
author_facet Agler, David
author_sort Agler, David
collection CERN
description Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.
id cern-2278791
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2012
publisher Rowman & Littlefield
record_format invenio
spelling cern-22787912021-04-21T19:06:57Zhttp://cds.cern.ch/record/2278791engAgler, DavidSymbolic logic: syntax, semantics, and proofMathematical Physics and MathematicsBrimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.Rowman & Littlefieldoai:cds.cern.ch:22787912012
spellingShingle Mathematical Physics and Mathematics
Agler, David
Symbolic logic: syntax, semantics, and proof
title Symbolic logic: syntax, semantics, and proof
title_full Symbolic logic: syntax, semantics, and proof
title_fullStr Symbolic logic: syntax, semantics, and proof
title_full_unstemmed Symbolic logic: syntax, semantics, and proof
title_short Symbolic logic: syntax, semantics, and proof
title_sort symbolic logic: syntax, semantics, and proof
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2278791
work_keys_str_mv AT aglerdavid symboliclogicsyntaxsemanticsandproof

Ejemplares similares