Lógica/Cálculo Quantificacional Clássico/Tablôs semânticos no CQC

Origem: Wikilivros, livros abertos por um mundo aberto.
Saltar para a navegação Saltar para a pesquisa
Recycle001.svg Esta página precisa ser reciclada (discuta).
Ao melhorá-la, você estará ajudando o Wikilivros.

Tablôs Semânticos no CQC[editar | editar código-fonte]

Tablôs semânticos no CQC seguem as mesmas regras que no CPC, adicionando regras para lidar com os quantificadores e as variáveis.
Este texto partirá do princípio que já tenha sido lido o artigo: Lógica/Cálculo Proposicional Clássico/Tablôs semânticos.

Tablôs de Fórmulas[editar | editar código-fonte]

Recapitulemos as regras de construção de tablôs já conhecidas:

Regras de construção de tablos.gif

Em vista destas regras já conhecidas podemos facilmente verificar que a seguinte fórmula é válida: .
Relembremos o procedimento de construção de tablôs:
  • Supor que a fórmula seja falsa.
  • Desenvolver esta suposição.
  • Caso cair em contradição (a mesma fórmula receber dois valores distintos) em todos ramos do tablô, concluir que ela não pode ser falsa. O que no caso do CQC significa concluir que ela é universalmente válida.
Façamos o tablô da fórmula em questão:
Crystal Clear gray action button ok.png
Muito simples! De fato, consiste numa instância de tautologia, do Princípio de Identidade ().
Obviamente, nem todas fórmulas válidas do CQC são instâncias de tautologia. Não tardemos a tratar delas.
Exemplo 1[editar | editar código-fonte]
Comecemos por uma fórmula simples que envolva o quantificador universal:
Ela poderia significar algo como “Se todos [indivíduos do sistema em questão] são geômetras, então Euclides é geômetra”. O que intuitivamente parece válido e, como veremos, de fato o é.
  • Primeiro passo, supor que ela seja falsa:
Temos a falsidade de uma implicação. Então temos que supor que o antecedente seja verdadeiro e o conseqüente falso:
Crystal Clear gray action button ok.png
Já estamos diante de uma novidade: a verdade de uma fórmula geral formada por um quantificador universal. Vejamos como lidar com isto.
significa que é predicado de todas constantes individuais do sistema. Assim, sendo verdade no tablô, então podemos inserir nele , , , , etc., sendo todas verdadeiras. Não precisamos ter certeza que , , , etc. realmente estão inseridas no sistema. Podemos apenas supor isto (aliás, todo tablô é uma suposição).
Obviamente, inserir no tablô que , , , , , ... são verdadeiras, em nada nos serve neste caso. Contudo, se inserirmos que é verdadeira, o único ramo do tablô fecha e a validade de fica provada:
Crystal Clear gray action button ok.png
Repare que não marcamos com um Crystal Clear gray action button ok.png como fazíamos com outras fórmulas usadas. Afinal, ainda há infinitas outras fórmulas além de que podem ser extraídas da verdade de :.
Exemplo 2[editar | editar código-fonte]
Intuitivamente podemos dizer que a fórmula não é válida. Afinal, não é porque é predicado de uma constante, que necessariamente seja predicado de todas constantes. De qualquer forma, façamos o tablô:
O que fazer com a falsidade de uma fórmula geral que contém o quantificador universal? Se é falso que é predicado de todas as constantes individuais, então deve haver alguma(s) constante(s) individual(is) que, se for predicado a elas, tem-se uma fórmula falsa. Mas quais? Podemos supor quaisquer constantes individuais, desde que elas ainda não tenham aparecido no ramo do tablô. Ou seja, podemos inserir no tablô a falsidade de , , , etc. Contudo, não podemos inserir a falsidade de , pois a constante já aparece no ramo. Então o tablô fica aberto e concluímos que a fórmula não é válida.
Exemplo 3[editar | editar código-fonte]
Vejamos como fazer um tablô de uma fórmula que não contenha constantes individuais: .
Já vimos que, dada a falsidade de uma fórmula geral que contém o quantificador universal, podemos remover o quantificador e substituir a variável por uma constante individual, desde que ela ainda não tenha aparecido no ramo do tablô. Como não há constantes individuais no tablô em questão, estamos livres para usar de qualquer constante:
Crystal Clear gray action button ok.png
Crystal Clear gray action button ok.png
Exemplo 4[editar | editar código-fonte]
Vejamos finalmente uma fórmula que contém o quantificador existencial: .
Crystal Clear gray action button ok.png
Como lidar com a falsidade de uma fórmula geral formada por um quantificador existencial? Vejamos... se é falso que existe alguma constante individual a qual forme uma fórmula atômica verdadeira com a constante de predicado , então podemos inserir no tablô a falsidade de qualquer fórmula atômica formada por (, , , , etc.). Se inserirmos a falsidade de , o tablô fecha e concluímos a validade da fórmula  :
Crystal Clear gray action button ok.png
A validade desta fórmula também é intuitivamente evidente. “Se Euclides é geômetra, então alguém é geômetra” é bastante óbvio. Vejamos agora um exemplo mais complicado.
Exemplo 5[editar | editar código-fonte]
Anteriormente foi dito que é equivalente a , ou seja, que : é válida. Façamos o tablô para verificar se isto está correto.

Tablo formula quantificacional.jpg

Foi feito todo ramo esquerdo do tablô e o direito até chegarmos a uma novidade: a verdade de uma fórmula geral formada por um quantificador existencial. Antes de tratar disto, vejamos o que foi feito do lado esquerdo.
  • A fórmula não continha constantes individuais, nos deixando livres para inserir qualquer constante, que no caso é .
  • Não foi gratuitamente que comecei pela falsidade de . Como vimos acima, dada a falsidade de uma fórmula geral que contém o quantificador universal, podemos remover o quantificador e substituir a variável por uma constante individual, desde que ela ainda não tenha aparecido no ramo do tablô. Se começássemos pela falsidade de , depois não poderíamos usar a mesma constante individual a fim de encontrar a contradição.
Agora vejamos como lidar com a verdade de uma fórmula geral formada pelo quantificador existencial. Se é verdade que e são predicados de algumas das constantes individuais, então deve haver alguma(s) constante(s) individual(is) que, se e forem predicadas a elas, tem-se uma fórmula verdadeira. Mas quais? Podemos supor quaisquer constantes individuais, desde que elas ainda não tenham aparecido no ramo do tablô.
Em vista disto, procederemos na construção do tablô da seguinte forma: trabalhar primeiro com a verdade de e depois com a verdade de . Assim, seja qual for a constante individual que aplicarmos na primeira, poderemos aplicar na segunda.

Tablo formula quantificacional2.jpg

Exemplo 6[editar | editar código-fonte]

Vejamos agora um tablô de uma fórmula de múltiplos quantificadores.

Crystal Clear gray action button ok.png

Regras de construção de tablôs para fórmulas quantificadas[editar | editar código-fonte]

Sendo uma variável individual, uma fórmula onde ocorre, e alguma constante que substitui na fórmula , temos:
Para qualquer .
Desde que seja nova no ramo.
Desde que seja nova no ramo.
Para qualquer .
Nos casos em que a constante adicionada deve ser nova no ramo, a fórmula recebe marcação pois não pode novamente ser usada.
Um tablô que envolve fórmulas quantificadas está terminado se:
  • todos ramos do tablô fecharem (caírem em contradição). Neste caso a fórmula ou argumento é válido(a)
Ou se:
  • Foram utilizadas todas fórmulas moleculares.
  • Todos existenciais e todos universais falsos que ocorrem em cada ramo foram utilizados.
  • Foram utilizados cada universal verdadeiro e cada existencial falso para cada constante individual do ramo.
Se atendidas estas três condições o tablô não fechar, então a fórmula ou argumento é inválido(a).

Tablôs de Argumentos[editar | editar código-fonte]

Os tablôs das fórmulas acima – fora o exemplo 5 - são bastante simples. Afinal, estavam sendo apresentadas as regras de construção de tablôs para quantificadores. Compensemos isto agora lidando com algo mais sofisticado: a formalização e construção de tablôs de argumentos da lógica aristotélica.
Relembrando o processo de construção de tablôs de argumentos:
  • Supor que o argumento seja inválido, ou seja, que a premissas podem ser verdadeiras e a conclusão falsa.
  • Desenvolver esta suposição.
  • Caso cair em contradição (a mesma fórmula receber dois valores distintos) em todos ramos do tablô, concluir que a conclusão não pode ser falsa enquanto as premissas são verdadeiras.
Exemplo 1[editar | editar código-fonte]
Vejamos o silogismo categórico Barbara:
Todo A é um B.
Todo B é um C.
∴ Todo A é um C.
Na linguagem simbólica do CQC, ele pode ser expresso assim:
O primeiro passo é supor que as premissas sejam verdadeiras e a conclusão seja falsa:
A estratégia adotada para resolver o tablô será começar pela conclusão e depois usar as premissas. Assim, podemos inserir qualquer constante individual na conclusão, e depois remeter a esta mesma constante nas premissas.
Crystal Clear gray action button ok.png
Crystal Clear gray action button ok.png
Agora utilizaremos as premissas, aplicando a mesma constante individual :
Tablobarbara.jpg
Exemplo 2[editar | editar código-fonte]
Vejamos o silogismo categórico Darii:
Todo B é um A.
Alguns Cs são Bs.
∴ Alguns Cs são As.
Na linguagem simbólica do CQC, ele pode ser expresso assim:
O primeiro passo:
Pelo mesmo motivo do exemplo acima, nossa estratégia começa usando a segunda premissa, na qual temos a verdade de um existencial:
Crystal Clear gray action button ok.png
Crystal Clear gray action button ok.png
E agora usamos as demais fórmulas gerais do tablô aplicando a constante

Tablodarii.jpg

Exemplo 3[editar | editar código-fonte]
Vejamos alguns casos de conversões lícitas.
Do tipo E: Nenhum A é B. Logo nenhum B é A.
Este argumento pode ser expresso na linguagem do CQC da seguinte forma:
O tablô para este argumento fica:

Tabloconversao.jpg

Poderíamos expressar o mesmo argumento da seguinte forma:


Nuvola apps edu mathematics-p.svg

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.