Mostrar código-fonte de Lógica: Cálculo Proposicional Clássico: Operadores e Tabelas de Verdade

{{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicional Clássico]]
|[[Lógica: Cálculo Proposicional Clássico: O que é o Cálculo Proposicional Clássico|O que é o Cálculo Proposicional Clássico]]|[[Lógica: Cálculo Proposicional Clássico: Fórmulas Contingentes, Contradições e Tautologias|Fórmulas Contingentes, Contradições e Tautologias]]
}}

===Tabelas Veritativas===

Seja <math>\mathcal{L}</math> uma linguagem que contenha as proposições <math>A\,\!</math>, <math>B\,\!</math> e <math>C\,\!</math>.

O que podemos dizer sobre  proposição <math>A\,\!</math> ? Para começar, segundo o princípio de bivalência, ela ou é verdadeira ou é falsa. Isto representamos assim:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|-
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|}
</div>

Agora, o que podemos dizer sobre as proposições <math>A\,\!</math> e <math>B\,\!</math> ? Oras, ou ambas são verdadeiras, ou a primeira é verdadeira e a segunda é falsa, ou a primeira é falsa e a segunda é verdadeira, ou ambas são falsas. Isto representamos assim:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

Como você já deve ter reparado, uma tabela para <math>A\,\!</math>, <math>B\,\!</math> e <math>C\,\!</math> é assim:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

Cada linha da tabela (fora a primeira que contém as fórmulas) representa uma '''valoração'''.

Agora, o que dizer sobre fórmulas moleculares, como <math>\neg A\,\!</math>, <math>B\lor C\,\!</math> ou <math>\left(B\land C\right)\to \left(A\leftrightarrow B\right)</math> ?  Para estas, podemos estabelecer os valores que elas recebem em vista do valor de cada fórmula atômica que as compõe. Faremos isto por meio das '''tabelas veritativas'''.

Os primeiros passos para construir uma tabela veritativa consistem em:

1º) Uma linha em que estão contidos todas as subfórmulas de uma fórmula e a própria fórmula. Por exemplo, a fórmula  <math>\neg \left(\left( A\land B\right)\to C \right)</math> tem o seguinte conjuntos de subfórmulas: 
{<math>\left( A\land B\right)\to C </math> , <math>A\land B</math> , <math>A\!\,</math> , <math>B\!\,</math> , <math>C\!\,</math>}

2º) <math>l\!\,</math> linhas em que estão todos os possíveis valores que os termos podem receber e os valores cujas fórmulas moleculares têm dados os valores destes termos. 

O número destas linhas é <math>l = n^t\!\,</math> , sendo <math>n\!\,</math> o número de valores que o sistema permite (sempre 2 no caso do CPC) e <math>t\!\,</math> o número de termos que a fórmula contém. Assim, se uma fórmula contém 2 termos, o número de linhas que expressam a permutações entre estes será 4: um caso de ambos termos serem verdadeiros (V V), dois casos de apenas um dos termos ser verdadeiro (V F , F V)  e um caso no qual ambos termos são falsos (F F). Se a fórmula contiver 3 termos,  o número de linhas que expressam a permutações entre estes será 8: um caso de todos termos serem verdadeiros (V V V), três casos de apenas dois termos serem verdadeiros (V V F , V F V , F V V), três casos de apenas um dos termos ser verdadeiro (V F F , F V F , F F V)  e um caso no qual todos termos são falsos (F F F).

Então, para a fórmula <math>\neg \left(\left( A\land B\right)\to C \right)</math>, temos:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|style="background-color: #DEE;" |'''A^B'''
|style="background-color: #DEE;" |'''(A^B)→C'''
|style="background-color: #DEE;" |'''¬((A^B)→C)'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

Para completar esta tabela precisamos definir os operadores lógicos. Ao fazê-lo, vamos aproveitar para explicar como interpretá-los.

====Negação====
A negação tem o valor inverso da fórmula negada. A saber: 

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''¬A''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

*'''Interpretações''': "Não <math>A\!\,</math>", "Não é o caso de <math>A\!\,</math>", "A proposição '<math>A\!\,</math>' é falsa".

Assim, em uma linguagem <math>\mathcal{L}\!\,</math> na qual <math>A\!\,</math> significa "''Sócrates é mortal''", <math>\neg A\!\,</math> pode ser interpretada como "''Sócrates não é mortal''", e, se o primeiro é verdadeiro, o segundo é falso; e se o primeiro é falso, o segundo é verdadeiro.

Interpretar a negação por meio de antônimos também é uma alternativa, mas deve-se ter cautela, pois nem sempre é aplicável em todos os casos. No exemplo acima a interpretação por meio de antônimos é perfeitamente aplicável, ou seja, se <math>A\!\,</math> significa "''Sócrates é mortal''", <math>\neg A\!\,</math> pode ser interpretada como "''Sócrates é imortal''". Por outro lado, em uma linguagem <math>\mathcal{L}\!\,</math> na qual <math>B\!\,</math> significa "''João é bom jogador''", a proposição "''João é mau jogador''" não é a melhor interpretação para <math>\neg B\!\,</math> (João poderia ser apenas um jogador mediano).

Pode-se adicionar indefinidamente o operador de negação:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''¬A''' 
|style="background-color: #DEE;" |'''¬¬A''' 
|style="background-color: #DEE;" |'''¬¬¬A''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

“<math>\neg \neg A \,\!</math>”  significa “‘<math>\neg A \,\!</math>’ é falsa”.

“<math>\neg \neg \neg A \,\!</math>” significa “‘<math>\neg \neg A \,\!</math>’ é falsa”. 

E assim por diante.

Repare que <math>\neg \neg A \,\!</math> é equivalente a <math>A \,\!</math>, assim como <math>\neg \neg \neg A \,\!</math> é equivalente a <math>\neg A \,\!</math>.

A negação múltipla traz alguns problemas de interpretação. Interpretando mais uma vez <math>A \,\!</math> por "''Sócrates é mortal''", podemos perfeitamente interpretar <math>\neg \neg A \,\!</math> de diversar formas: "''Não é o caso de que Sócrates não é mortal''", "''Não é o caso de que Sócrates é imortal''", "''É falso que Sócrates não é mortal''", "''É falso que Sócrates é imortal''" etc. Contudo, nem sempre na língua portuguesa a dupla negação de uma proposição equivale à afirmação desta. Muitas vezes a dupla negação é uma ênfase na negação. Exemplos: "''Não veio ninguém''", "Não fiz nada hoje" etc.

====Conjunção====
: A conjunção entre duas fórmulas só é verdadeira quando ambas são verdadeiras. A saber:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A∧B''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

*'''Interpretação''': "<math>A\land B\!\,</math>" pode ser interpretada como "<math>A\!\,</math> e <math>B\!\,</math>", "Tanto <math>A\!\,</math> quanto <math>B\!\,</math>", "Ambas proposições '<math>A\!\,</math>' e '<math>B\!\,</math>' são verdadeiras" etc.

Assim, em uma linguagem <math>\mathcal{L}\!\,</math> na qual <math>A\!\,</math> significa "''Sou cidadão brasileiro''" e <math>B\!\,</math> significa "''Sou estudante de filosofia''", <math>A\land B\!\,</math> pode ser interpretada como "''Sou cidadão brasileiro e estudante de filosofia''"; o que só é verdade se <math>A\!\,</math> é verdade e <math>B\!\,</math> é verdade.

Repare que a conjunção é comutável, ou seja, <math>A\land B \,\!</math> é equivalente a <math>B\land A \,\!</math>, a saber:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A∧B''' 
|style="background-color: #DEE;" |'''B∧A''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

A comutatividade da conjunção trás um problema para formalizar proposições da linguagem natural no Cálculo Proposicional Clássico, pois a ordem em que as orações aparecem pode sugerir uma seqüencia temporal. Por exemplo "''Isabela casou e teve um filho''" é bem diferente de "''Isabela teve um filho e casou''". Repare que o mesmo problema não acomete a proposição "''Isabela é casada e tem filhos''", que é equivalente a "''Isabela tem filhos e é casada''". Esta sentença é, portanto, perfeitamente formalizável no Cálculo Proposicional Clássico por meio de uma conjunção.

Proposições que levam a palavra "''mas''" também podem ser formalizadas pela conjunção. Por exemplo, em uma linguagem <math>\mathcal{L}\!\,</math> na qual <math>C\!\,</math> significa "''João foi atropelado''" e <math>D\!\,</math> significa "''João sobreviveu ao atropelamento''", as sentenças "''João foi atropelado e sobreviveu''" e "''João foi atropelado, mas sobreviveu''" podem ambas serem formalizadas assim: <math>C\land D\,\!</math>

Afinal, ambas proposições afirmam os mesmos eventos na mesma seqüencia: o atropelamento e a sobrevivência de João. A única diferença entre ambas é que aquela que leva "mas" expressa que uma expectativa subjetiva não foi satisfeita, o que não importa para a lógica.

====Disjunção====
: A disjunção entre duas fórmulas só é verdadeira quando ao menos uma delas é verdadeira. A saber:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A∨B''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

Repare que a disjunção também é comutativa:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A∨B''' 
|style="background-color: #DEE;" |'''B∨A'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

*'''Interpretação''': "<math>A\lor B\!\,</math>" pode ser interpretada como "<math>A\!\,</math> ou <math>B\!\,</math>", "Entre as proposições <math>A\!\,</math> e <math>B\!\,</math>, ao menos uma é verdadeira".

Assim, se <math>A\!\,</math> significa "''Fulano estuda filosofia''" e <math>B\!\,</math> significa "''Fulano estuda matemática''", <math>A\lor B\!\,</math> pode ser interpretada como "''Fulano estuda filosofia ou matemática''"; o que só é falso se nem <math>A\!\,</math> nem <math>B\!\,</math> forem verdadeiras.

Com a disjunção é preciso tomar muito cuidado tanto na interpretação de fórmulas quanto na formalização de proposições, pois na linguagem natural muitas vezes os disjuntos são excludentes. Por exemplo: "''Uma moeda ao ser lançada resulta em cara '''ou''' coroa''", "''Nestas férias eu vou viajar '''ou''' ficar em casa''". 

Para estes casos usamos a '''disjunção exclusiva''' ou a '''bi-implicação''' combinada com a '''negação''', como veremos mais adiante.

====Implicação====
A implicação entre duas fórmulas só é falsa se a da esquerda (antecedente) for verdadeira e da direita (conseqüente) for falsa. A saber:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''→'''B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

Repare que a implicação '''não''' é comutativa:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''→'''B'''
|style="background-color: #DEE;" |'''B'''→'''A'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|}
</div>

*'''Interpretação''': "<math>A\to B\!\,</math>" pode ser interpretada como "''Se <math>A\!\,</math>, então <math>B\!\,</math>''", "''<math>A\!\,</math> implica em <math>B\!\,</math>''", "''Se a proposição ' <math>A\!\,</math> ' é verdade,  então a proposição ' <math>B\!\,</math> ' também é verdade''", "A partir de '<math>A\!\,</math>' inferimos '<math>B\!\,</math>' ''", "<math>A\!\,</math> satisfaz <math>B\!\,</math>", "<math>A\!\,</math> é condição suficiente de <math>B\!\,</math>".

Assim, se, em uma linguagem <math>\mathcal{L}</math> , <math>A\!\,</math> significa "''O botão vermelho foi apertado''" e <math>B\!\,</math> significa "''O lugar todo explode''", <math>A\to B\!\,</math> pode ser interpretada como "''Se o botão vermelho foi apertado, o lugar inteiro explode''", o que só é falso se o botão vermelho for apertado (verdade de <math>A\!\,</math>) e o lugar não explodir (falsidade de <math>B\!\,</math>):

A interpretação da implicação é uma das mais complicadas. Talvez você tenha estranhado que a implicação seja verdadeira quando o antecedente é falso. Ou ainda, você poderia objetar "mas e se o botão for apertado, o lugar explodir, mas uma coisa não ter nada a ver com a outra?".

Quando temos na linguagem natural uma proposição que afirma que, a partir de um evento, outro segue inexoravelmente (por exemplo: "''Se você sair na chuva sem guarda-chuva ou capa de chuva, então você vai se molhar''") ou uma proposição que afirma que podemos deduzir um fato de outro (por exemplo: "''Se todo número par é divisível por 2, então nenhum número par maior que 2 é primo''"), podemos seguramente formalizar estas proposições por meio da implicação.

Mas o contrário, ou seja, interpretar uma implicação a na linguagem natural, é problemático. Podemos estar lidando com uma implicação cujo o antecedente e o conseqüente não tem relação alguma. Bastando que o antecedente seja falso ou o conseqüente seja verdadeiro para que a implicação seja verdadeira. Nestes casos, é bem difícil dar uma interpretação satisfatória para a implicação.

====Bi-implicação====
A bi-implicação entre duas fórmulas é verdadeira quando ambas são verdadeiras ou ambas são falsas. 

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''↔'''B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

Repare que a bi-implicação é comutativa:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''↔'''B'''
|style="background-color: #DEE;" |'''B'''↔'''A'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|}
</div>

*'''Interpretação''': "<math>A\leftrightarrow B</math>" pode ser interpretada como "''<math>A\!\,</math> se e somente se <math>B\!\,</math>''", "''<math>A\!\,</math> é equivalente a  <math>B\!\,</math>''", "''<math>A\!\,</math> e <math>B\!\,</math> possuem o mesmo valor veritativo''".

Assim, se <math>A\!\,</math> significa "''As luzes estão acesas''" e <math>B\!\,</math> significa "''O interruptor está voltado para cima''", <math>A\leftrightarrow B</math> pode ser interpretada como "''As luzes estão acesas se e somente se o interruptor está voltado para cima''", o que só é falso se as luzes estiverem acesas e o interruptor não estiver voltado para cima (verdade de <math>A\!\,</math> falsidade de <math>B\!\,</math>), ou se as luzes não estiverem acesas e o interruptor estiver voltado para cima (falsidade de <math>A\!\,</math> e verdade de <math>B\!\,</math>):

====Outros conectivos====
Ainda há outros conectivos interessantes, mas, por motivos explicados mais para frente, não trabalharemos com eles. Vamos apenas nos familiarizar com alguns deles agora.

=====Adaga de Quine=====
<math>A \downarrow B \,\!</math> é verdadeiro somente se ambos, <math>A\!\,</math> e <math>B\!\,</math>, forem falsos. Trata-se, portanto, da negação da disjunção:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A∨B''' 
|style="background-color: #DEE;" |'''A'''↓'''B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

=====Disjunção Exclusiva=====
A disjunção exclusiva entre duas fórmulas é verdadeira somente se apenas uma delas for verdadeira. Trata-se, portanto, da negação da bi-implicação:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''↔'''B'''
|style="background-color: #DEE;" |'''A<u>∨</u>B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|}
</div>

=====Traço de Sheffer=====
<math>A \mid B \,\!</math> só é falsa se ambos <math>A\,\!</math> e <math>B\,\!</math> forem verdadeiros. Trata-se, portanto, da negação da conjunção.

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''A'''∧'''B'''
|style="background-color: #DEE;" |'''A|B'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

===Uso de parênteses e fórmulas com mais de um operador===

:Assim como na aritmética e algebra, os parênteses na lógica indicam o que considerar primeiro. Portanto, a fórmula <math>\neg \left(A \land B\right)</math> consiste na negação da conjunção entre <math>A\,\!</math> e <math>B\,\!</math>, enquanto a fórmula <math>\neg A \land B</math> consiste na conjunção entre a negação de <math>A\,\!</math> e <math>B\,\!</math>. 
:A diferença entre as fórmulas fica clara na tabela de verdade:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''¬A''' 
|style="background-color: #DEE;" |'''A∧B''' 
|style="background-color: #DEE;" |'''¬(A∧B)''' 
|style="background-color: #DEE;" |'''¬A∧B''' 
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|}
</div>

: Da mesma forma, <math>A\to \left(B\to C\right)</math> é distinta de <math>\left(A\to B\right)\to C</math>. A saber:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|style="background-color: #DEE;" |'''A'''→'''B'''
|style="background-color: #DEE;" |'''B'''→'''C'''
|style="background-color: #DEE;" |'''(A'''→'''B)'''→'''C'''
|style="background-color: #DEE;" |'''A'''→'''(B'''→'''C)'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|}
</div>

:Contudo, tem-se que a fórmula <math>A\land \left(B\land C\right)</math> é equivalente à <math>\left(A\land B\right)\land C</math>, pois ambas só serão verdadeiras se <math>A\,\!</math>, <math>B\,\!</math> e <math>C\,\!</math> forem verdadeiras.
: Da mesma forma, <math>A\lor \left(B\lor C\right)</math> é equivalente à <math>\left(A\lor B\right)\lor C</math> (ambas só são falsas quando todos termos são falsos), e <math>A\leftrightarrow \left(B\leftrightarrow C\right)</math> é equivalente à <math>\left(A\leftrightarrow B\right)\leftrightarrow C</math>. 
: Devido a isto, vale como convenção informal as construções <math>A\land B\land C</math>, <math>A\lor B\lor C</math> e <math>A\leftrightarrow B\leftrightarrow C</math>.

===Completando a tabela de verdade===
Agora vejamos como completar a tabela de verdade da fórmula <math>\neg \left(\left( A\land B\right)\to C \right)</math>. 

Uma vez que já estabelecemos todas valorações de <math>A\,\!</math>, <math>B\,\!</math> e <math>C\,\!</math> vamos completar cada coluna, começando pela subfórmula mais simples até chegar à fórmula em questão. 

Neste caso, vamos começar por <math>A\land B\,\!</math>. Pela definição de conjunção, em cada linha nas quais tanto <math>A\,\!</math> quanto <math>B\,\!</math> forem verdadeiras, <math>A\land B\,\!</math> será verdadeira. Em todas as demais, será falsa:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|style="background-color: #DEE;" |'''A∧B'''
|style="background-color: #DEE;" |'''(A∧B)→C'''
|style="background-color: #DEE;" |'''¬((A∧B)→C)'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|}
</div>

Agora vamos considerar a coluna da subfórmula <math>\left( A\land B\right)\to C</math>. Pela definição de implicação, em cada linha na qual o antecedente <math>A\land B\,\!</math> for verdadeiro enquanto o conseqüente <math>C\,\!</math> for falso, <math>\left( A\land B\right)\to C</math> será falso. Em todas as demais, será verdadeira:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|style="background-color: #DEE;" |'''A∧B'''
|style="background-color: #DEE;" |'''(A∧B)→C'''
|style="background-color: #DEE;" |'''¬((A∧B)→C)'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|}
</div>

Por fim, resta a coluna da fórmula <math>\neg \left(\left( A\land B\right)\to C \right)</math>. Pela definição de negação, em cada linha na qual <math>\left( A\land B\right)\to C </math> for verdadeira, <math>\neg \left(\left( A\land B\right)\to C \right)</math> será falsa; e em cada linha na qual <math>\left( A\land B\right)\to C </math> for falsa, <math>\neg \left(\left( A\land B\right)\to C \right)</math> será verdadeira:

<div align="center">
{|style="background-color: #F8F8F8; border: 1px solid #888;"
|style="background-color: #DEE;" |'''A'''
|style="background-color: #DEE;" |'''B'''
|style="background-color: #DEE;" |'''C'''
|style="background-color: #DEE;" |'''A∧B'''
|style="background-color: #DEE;" |'''(A∧B)→C'''
|style="background-color: #DEE;" |'''¬((A∧B)→C)'''
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|-
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |F
|style="background-color: #DDD;" |V
|style="background-color: #DDD;" |F
|}
</div>

Por meio desta tabela podemos ver que a fórmula <math>\neg \left(\left( A\land B\right)\to C \right)</math> só é verdadeira em um único caso: o qual <math>A\,\!</math> e <math>B\,\!</math> são verdadeiras enquanto <math>C\,\!</math> é falsa. Esta é uma das aplicações da tabela de verdade: determinar em quais valorações de suas subfórmulas uma fórmula é verdadeira ou falsa.

===Exercícios===

Seja <math>\mathcal{L}</math> uma linguagem na qual:

<math>A\,\!</math> significa ''"Russell desenvolveu a teoria das descrições"''.

<math>B\,\!</math> significa ''"Gödel é matemático"''. 

<math>C\,\!</math> significa ''"Está chovendo"''.

Formalize no CPC as seguintes proposições e faça a tabela de verdade de cada uma delas:

#''"Não está chovendo"''.
#''"Russell desenvolveu a teoria das descrições e Gödel é matemático"''.
#''"Russell desenvolveu a teoria das descrições ou Gödel não é matemático"''.
#''"Se Gödel é matemático, então está chovendo"''.
#''"Se não está chovendo, então Gödel não é matemático"''.
#''"Nem está chovendo, nem Russell desenvolveu a teoria das descrições".
#''"Russell não desenvolveu a teoria das descrições se e somente se está chovendo"''.

[[/Resolução dos Exercícios/|Resolução dos Exercícios]]

{{Navegação| [[Lógica: Cálculo Proposicional Clássico|Voltar para o Índice de Cálculo Proposicional Clássico]]
|[[Lógica: Cálculo Proposicional Clássico: O que é o Cálculo Proposicional Clássico|O que é o Cálculo Proposicional Clássico]]|[[Lógica: Cálculo Proposicional Clássico: Fórmulas Contingentes, Contradições e Tautologias|Fórmulas Contingentes, Contradições e Tautologias]]
}}

[[Categoria:Lógica Matemática|{{SUBPAGENAME}}]]