TY  - BOOK
AU  - Alencar Filho,Edgard de
TI  - IniciaÃ§Ã£o Ã  lÃ³gica matemÃ¡tica
SN  - 9788521304036
U1  - 511.3 
PY  - 2002///.-
CY  - SÃ£o Paulo
PB  - Nobel, 
KW  - LÃ³gica simbÃ³lica e matemÃ¡tica
N2  - CiÃªncias: MatemÃ¡tica. LÃ³gica simbÃ³lica e matemÃ¡tica. ProposiÃ§Ãµes. Conectivos. OperaÃ§Ãµes lÃ³gicas sobre as proposiÃ§Ãµes. ImplicaÃ§Ã£o lÃ³gica. EquivalÃªncia lÃ³gica. Ãlgebra das proposiÃ§Ãµes. Validade mediante tabelas-verdade.
UR  - https://books.google.com.br/books?id=s7GKHIjAQC4C&pg=PA1&lpg=PA1&dq=Inicia%C3%A7%C3%A3o+%C3%A0+l%C3%B3gica+matem%C3%A1tica&source=bl&ots=LjlkOhCJYV&sig=ACfU3U3rGV9nCnXYZ05B36moNb6BrkpGYw&hl=pt-BR&sa=X&ved=2ahUKEwjpsPLiv7jnAhXFHbkGHSQJDww4ChDoATAEegQIChAB#v=onepage&q=Inicia%C3%A7%C3%A3o%20%C3%A0%20l%C3%B3gica%20matem%C3%A1tica&f=false
ER  -