Lógica

• ~ (p ou q)

  ~p e ~q
• ~ (p e q)

  ~p ou ~q
• ~ (se p, então q)

  p e ~q
• ~ (p se, e somente se, q)

  (p e ~q) ou (q e ~p)
• ~ (para todo x, p(x))

  existe x, ~p(x)
• ~ (existe x, p(x))

  para todo x, ~p(x)
• se p, então q equivale

  {~p ou q}
• p se, e somente se, q equivale

  se p, então q e se q, então p