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
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 ⊙ ◇↓ □ ⟡