next up previous
Next: Problemas Up: Cálculo Proposicional Previous: Cálculo Proposicional

Notas

Negação tex2html_wrap_inline852 . Traduz "não é verdade que...".

Tabela de verdade:

tabular12

Conjunção tex2html_wrap_inline856 . Traduz "e", "mas", ...

Tabela de verdade:

tabular18

Disjunção tex2html_wrap_inline860 . Traduz "ou" (não exclusivo).

Tabela de verdade:

tabular24

Condicional tex2html_wrap_inline864 . Traduz "se...então...".

tex2html_wrap_inline866 significa "se A então B", "B se A", "A só se B", "A é condição suficiente para B", "B é condição necessária para A", ...

tex2html_wrap_inline868 é a recíproca de tex2html_wrap_inline866 .

tex2html_wrap_inline872 é a inversa de tex2html_wrap_inline866 .

tex2html_wrap_inline876 é a contrarecíproca de tex2html_wrap_inline866 .

Tabela de verdade:

tabular33

Bicondicional tex2html_wrap_inline882 . tex2html_wrap_inline884 traduz "A sse B (A se, e só se, B)", "A é equivalente a B", "A é condição necessária e suficiente para B".

Tabela de verdade:

tabular39

Linguagem do Cálculo Proposicional

Regras para fazer fórmulas:

  1. Se tex2html_wrap831 é uma letra proposicional então tex2html_wrap831 é uma fórmula.
  2. Se tex2html_wrap831 e tex2html_wrap834 são fórmulas então cada uma das seguintes expressões também é uma fórmula:
  3. Nada mais é fórmula.
Convenção dos Parenteses. Ordem pela qual se aplicam os conectivos: tex2html_wrap835 , tex2html_wrap836 e tex2html_wrap837 (mesmo nível de prioridade), tex2html_wrap838 , tex2html_wrap839 .
Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997