Página inicialGruposDiscussãoMaisZeitgeist
Pesquise No Site
Este site usa cookies para fornecer nossos serviços, melhorar o desempenho, para análises e (se não estiver conectado) para publicidade. Ao usar o LibraryThing, você reconhece que leu e entendeu nossos Termos de Serviço e Política de Privacidade . Seu uso do site e dos serviços está sujeito a essas políticas e termos.

Resultados do Google Livros

Clique em uma foto para ir ao Google Livros

Carregando...

Introduction to Logic: Propositional Logic, Revised Edition (3rd Edition) (1974)

de Howard Pospesel

MembrosResenhasPopularidadeAvaliação médiaMenções
136Nenhum(a)199,604 (4.15)2
Designed to make logic interesting and accessible--without sacrificing content or rigor--this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. An accompanying computer tutorial program, PropLogic, is available on CD-ROM in two versions: one version can be installed and run off a hard drive; one (identical) "portable" version can be run off the CD-ROM itself (allowing students/instructors flexibility on when/where they use the program). An appendix in the text describes program details. Tutors readers on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Content organized around natural-deduction formal-proof procedures, truth tables, and truth trees. Gradual presentation of logical statement connectives. Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connective before introducing additional connectives. Examples of actual arguments similar to those readers encounter, and to which they can readily relate. Draws examples and exercises from newspapers, magazines, television, books, textbooks, term papers, posters, comic strips, television programs, films, records, and conversations. Increases students' awareness of the arguments they read and hear every day. Extensive exercise sets throughout provide solutions to about one-quarter of the exercises (in an appendix). Provides ample opportunities for assignments and practice.… (mais)
Nenhum(a)
Carregando...

Registre-se no LibraryThing tpara descobrir se gostará deste livro.

Ainda não há conversas na Discussão sobre este livro.

» Veja também 2 menções

Sem resenhas
sem resenhas | adicionar uma resenha
Você deve entrar para editar os dados de Conhecimento Comum.
Para mais ajuda veja a página de ajuda do Conhecimento Compartilhado.
Título canônico
Título original
Títulos alternativos
Data da publicação original
Pessoas/Personagens
Lugares importantes
Eventos importantes
Filmes relacionados
Epígrafe
Dedicatória
Primeiras palavras
Citações
Últimas palavras
Aviso de desambiguação
Editores da Publicação
Autores Resenhistas (normalmente na contracapa do livro)
Idioma original
CDD/MDS canônico
LCC Canônico

Referências a esta obra em recursos externos.

Wikipédia em inglês

Nenhum(a)

Designed to make logic interesting and accessible--without sacrificing content or rigor--this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. An accompanying computer tutorial program, PropLogic, is available on CD-ROM in two versions: one version can be installed and run off a hard drive; one (identical) "portable" version can be run off the CD-ROM itself (allowing students/instructors flexibility on when/where they use the program). An appendix in the text describes program details. Tutors readers on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Content organized around natural-deduction formal-proof procedures, truth tables, and truth trees. Gradual presentation of logical statement connectives. Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connective before introducing additional connectives. Examples of actual arguments similar to those readers encounter, and to which they can readily relate. Draws examples and exercises from newspapers, magazines, television, books, textbooks, term papers, posters, comic strips, television programs, films, records, and conversations. Increases students' awareness of the arguments they read and hear every day. Extensive exercise sets throughout provide solutions to about one-quarter of the exercises (in an appendix). Provides ample opportunities for assignments and practice.

Não foram encontradas descrições de bibliotecas.

Descrição do livro
Resumo em haiku

Current Discussions

Nenhum(a)

Capas populares

Links rápidos

Gêneros

Classificação decimal de Dewey (CDD)

160Philosophy and Psychology Logic Logic

Classificação da Biblioteca do Congresso dos E.U.A. (LCC)

Avaliação

Média: (4.15)
0.5
1
1.5
2
2.5
3 1
3.5
4 6
4.5 1
5 2

É você?

Torne-se um autor do LibraryThing.

 

Sobre | Contato | LibraryThing.com | Privacidade/Termos | Ajuda/Perguntas Frequentes | Blog | Loja | APIs | TinyCat | Bibliotecas Históricas | Os primeiros revisores | Conhecimento Comum | 203,209,894 livros! | Barra superior: Sempre visível