relembrando-matematica-computacional

logica --> nos permite validar e construir argumentos
       --> descreve com precisao um algoritmo
       
proposicao --> sentenca q e verdadeira ou falsa, nao pode ser ambos

negacao --> sempre inverte o valor logico da proposicao (¬p ou ¯p)

and --> quando ambos sao verdade o resultado e verdadeiro tambem (p ∧ q)
or --> quando pelo menos uma proposicao e verdadeira, o resultado tambem sera (p ∨ q)
exclusive-or --> quando um e verdadeiro e o outro e falso, o resultado sera verdadeiro(p ⊕ q)

p → q (implicacao) --> se p entao q --> falso quando p e verdadeiro e q falso (de resto e tudo verdadeiro)
contrapositivo --> ¬q → ¬p --> equivale a p → q
converso --> p → q vira q → p
inverso --> p → q vira ¬p → ¬q


p ↔ q --> p se e somente se q --> verdadeiro quand p e q sao iguais
p ↔ q equivale a  (p → q) ∧ (q → p)