Links importantes

Playlist de Vídeos no Youtube sobre Lógica para Computação
Material para ensino de lógica e disciplinas afins na página da Sociedade Brasileira de Lógica
Repositório de materiais de Lógica para Computação
Logicamente UTFPR
Canal do professor João Sarubi - CEFET-MG. João já fez vídeos no canal cobrindo toda a parte de Lógica Proposicional e Lógica dos Predicados. Também já abordou métodos de Prova, Indução Matemática e Teoria dos Conjuntos, utilizando como base os livros do Rosen e da Judith (Fundamentos Matemáticos para a Computação). Agora, começou a parte de Sequências e Progressões, mas ainda falta cobrir Relações, Funções, Análise Combinatória, entre outros tópicos. A ideia do canal é oferecer um conteúdo denso, indo além de uma simples introdução. João também resolve e explica diversos exercícios.
Lista de símbolos lógicos (List of logic symbols na Wikipedia), onde você encontra:
- portanto ∴
- negação ¬
- conjunção ∧
- disjunção ∨
- implicação →
- bi-implicação ⟷
- ou exclusivo ⊕
- top ⊤
- bottom ⊥
- para todo ∀
- existe ∃
- catraca (usada em sequentes) ⊢ e ⊬
- catraca dupla (usada em consequência lógica) ⊨ e ⊭
- equivalência lógica ≡ e ≢
- símbolos extras ⊙ ◇↓ □ ⟡