Alface book
SINTAXE: ∧: e , ∨: ou , → : se...então , ↔ : se e somente se , ∼: não Exemplos: • Janeiro tem 31 dias e 2 é um número primo. : p ∧ q • Janeiro tem 31 dias ou 2 é um número primo. : p ∨ q • Se janeiro tem 31 dias então 2 é um número primo. : p → q • Janeiro tem 31 dias se e somente se 2 é um número primo. : p ↔ q • Janeiro não tem 31