Lógica/Cálculo Proposicional Clássico/Consequência Semântica: mudanças entre as edições
imported>SallesNeto BR (Revertido vandalismo) |
imported>Mschlindwein m ("implicar", neste caso, é transitivo direto.) |
||
(27 revisões intermediárias por 5 usuários não estão sendo mostradas) | |||
Linha 1: | Linha 1: | ||
===Implicação | |||
: | ===Implicação semântica=== | ||
:Uma fórmula <math>\alpha\ </math> é consequência semântica de um conjunto <math>\Gamma\ </math> de fórmulas, o que representamos por <math>\Gamma\ \vDash \ \alpha\ </math>, se, e somente se, em todas as valorações nas quais todas fórmulas de <math>\Gamma\ </math> forem verdadeiras, <math>\alpha\ </math> também é verdadeira. | |||
:Por exemplo, digamos que <math>\Gamma\ =\left \{\alpha\,\right \}</math> (''Gama é o conjunto unitário da fórmula alfa''). Se <math>\alpha\ </math> é verdadeira, então <math>\alpha\ </math> é verdadeira. Assim: | :Por exemplo, digamos que <math>\Gamma\ =\left \{\alpha\,\right \}</math> (''Gama é o conjunto unitário da fórmula alfa''). Se <math>\alpha\ </math> é verdadeira, então <math>\alpha\ </math> é verdadeira. Assim: | ||
:<math>\alpha\ \vDash \ \alpha\ </math> (''alfa | :<math>\alpha\ \vDash \ \alpha\ </math> (o conjunto unitário ''alfa tem como consequência semântica a fórmula alfa'') | ||
:Ainda utilizando o conjunto <math>\Gamma\ =\left \{\alpha\,\right \}</math>, podemos dizer que: | :Ainda utilizando o conjunto <math>\Gamma\ =\left \{\alpha\,\right \}</math>, podemos dizer que: | ||
:<math>\alpha\ \vDash \ \neg \neg \alpha\ </math> (''alfa | :<math>\alpha\ \vDash \ \neg \neg \alpha\ </math> (''o conjunto unitário ''alfa tem como consequência semântica'' na negação da negação de alfa''). | ||
:Afinal, sempre que uma fórmula é verdadeira, a negação de sua negação também é verdadeira. Como está ilustrado na tabela adiante: | :Afinal, sempre que uma fórmula é verdadeira, a negação de sua negação também é verdadeira. Como está ilustrado na tabela adiante: | ||
<div align="center"> | <div align="center"> | ||
Linha 61: | Linha 59: | ||
===As tautologias=== | ===As tautologias=== | ||
:Dada qualquer fórmula <math>\psi\,\!</math>, | :Dada qualquer fórmula <math>\psi\,\!</math>, seu conjunto unitário tem como consequência semântica qualquer tautologia: | ||
:<math>\Gamma\ =\left \{\psi\,\right \}</math> | :<math>\Gamma\ =\left \{\psi\,\right \}</math> | ||
Linha 91: | Linha 89: | ||
</div> | </div> | ||
:Aliás, até um conjunto vazio de premissas | :Aliás, até um conjunto vazio de premissas tem como consequência semântica uma tautologia: | ||
:<math>\Gamma\ = \varnothing</math> | :<math>\Gamma\ = \varnothing</math> | ||
Linha 108: | Linha 106: | ||
====Teorema da dedução==== | ====Teorema da dedução==== | ||
:<math>\Gamma \vDash \alpha \to \beta\,\!</math> se, e somente se, <math>\Gamma \cup \left\{\alpha\right\}\vDash \beta\,\!</math> | |||
:Ou seja, um conjunto <math>\Gamma\,\!</math> de fórmulas tem como consequência semântica a fórmula <math>\alpha \to \beta\,\!</math>, se, e somente se, <math>\Gamma\,\!</math> acrescido de <math>\alpha \,\!</math> implica tautologicamente <math>\beta \,\!</math> | |||
:No caso em que <math>\Gamma = \varnothing\,\!</math>, segue que: | |||
:<math>\vDash\alpha\to \beta</math> se e somente se <math>\alpha\vDash \beta</math>. | :<math>\vDash\alpha\to \beta</math> se e somente se <math>\alpha\vDash \beta</math>. | ||
:Ou seja, se <math>\alpha\to \beta</math> consiste numa tautologia, então um argumento onde o antecedente (<math>\alpha\!\,</math>) seja a premissa e o conseqüente (<math>\beta\!\,</math>) seja a conclusão é válido. A recíproca também é verdadeira. Ex: | :Ou seja, se <math>\alpha\to \beta</math> consiste numa tautologia, então um argumento onde o antecedente (<math>\alpha\!\,</math>) seja a premissa e o conseqüente (<math>\beta\!\,</math>) seja a conclusão é válido. A recíproca também é verdadeira. Ex: | ||
Linha 121: | Linha 125: | ||
===Argumentando com o CPC=== | ===Argumentando com o CPC=== | ||
:Agora passemos para casos de implicação | :Agora passemos para casos de implicação semântica mais interessantes. Vejamos o seguinte conjunto de fórmulas: | ||
:<math>\Gamma\ =\left \{\mathrm{A}\, , \mathrm{A}\to \mathrm{B}\, \right \}</math> | :<math>\Gamma\ =\left \{\mathrm{A}\, , \mathrm{A}\to \mathrm{B}\, \right \}</math> | ||
:Podemos dizer que: | :Podemos dizer que: | ||
Linha 151: | Linha 155: | ||
</div> | </div> | ||
Na única linha na qual as fórmulas | Na única linha na qual as fórmulas <math>A\,\!</math> e <math>A\to B</math> são ambas verdadeiras, a fórmula <math>B\,\!</math> também é verdadeira. | ||
Agora podemos usar o CPC para verificar a validade lógica de uma infinidade de raciocínios ou argumentos. Como acabamos de ver, é válido todo raciocínio com a seguinte estrutura: | Agora podemos usar o CPC para verificar a validade lógica de uma infinidade de raciocínios ou argumentos. Como acabamos de ver, é válido todo raciocínio com a seguinte estrutura: | ||
: | :<math>A\to B</math> | ||
:A | :<math>A\,\!</math> | ||
: | :<math>\therefore B\,\!</math> | ||
Por exemplo: | Por exemplo: | ||
Linha 177: | Linha 181: | ||
:Logo, ele estudou muito. | :Logo, ele estudou muito. | ||
:Consideremos que | :Consideremos que <math>A\,\!</math> significa “Ele estudou muito” e <math>B\,\!</math> significa “Ele conseguiu uma boa nota”. A estrutura do argumento então é esta: | ||
: | :<math>A\to B\,\!</math> | ||
:B | :<math>B\,\!</math> | ||
: | :<math>\therefore A \,\!</math> | ||
Agora façamos uma tabela de verdade para verificar se sempre que | Agora façamos uma tabela de verdade para verificar se sempre que <math>A\to B\,\!</math> e <math>B\,\!</math> são verdades, <math>A\,\!</math> também é verdade: | ||
<div align="center"> | <div align="center"> | ||
Linha 209: | Linha 213: | ||
</div> | </div> | ||
Como podemos ver, existe | Como podemos ver, existe uma valoração na qual <math>A\to B\,\!</math> e <math>B\,\!</math> são verdades e <math>A \,\!</math> é uma falsidade. Portanto, o raciocínio é invalido. | ||
====Lista de argumentos válidos usuais==== | ====Lista de argumentos válidos usuais==== | ||
Linha 219: | Linha 223: | ||
:Ex: | :Ex: | ||
:Se choveu, então o chão está molhado. | :Se choveu(A), então o chão está molhado(B). | ||
:Oras, choveu. | :Oras, choveu(A). | ||
:Logo, o chão está molhado. | :Logo, o chão está molhado(B). | ||
=====Modus tollens===== | =====Modus tollens===== | ||
Linha 230: | Linha 233: | ||
:Ex: | :Ex: | ||
:Se ele estudou, então ele tirou uma boa nota. | :Se ele estudou(A), então ele tirou uma boa nota(B). | ||
:Ele não tirou uma boa nota. | :Ele não tirou uma boa nota(~B). | ||
:Logo, ele não estudou. | :Logo, ele não estudou(~A). | ||
<div align="center"> | <div align="center"> | ||
Linha 385: | Linha 388: | ||
:<math>\neg A \land \neg B\vDash\neg\left(A\lor B\right) </math> | :<math>\neg A \land \neg B\vDash\neg\left(A\lor B\right) </math> | ||
=====Silogismo Disjuntivo===== | =====Silogismo Disjuntivo===== | ||
Linha 625: | Linha 617: | ||
====Falácias==== | ====Falácias==== | ||
Uma falácia (ou sofisma) é um raciocínio ou argumento inválido. | |||
Desde a antigüidade filósofos como Platão e Aristóteles buscavam distinguir entre argumentos válidos dos sofismas, que não passam de malabarismos retóricos que podem nos afastar da verdade. | |||
Na literatura especilizada, assim como em vários sítios pela internet, constam várias listas de falácias, das quais vão da quebra de decoro retórico até o desrespeito à metodologia científica. | |||
Nosso interesse aqui são as falácias lógicas, ou seja, o desrespeito as regras da lógica para a construção de raciocínios válidos. No caso da lógica clássica, o raciocínio inválido é aquele que tem uma estrutura a qual não garante que a conclusão seja verdadeira caso as premissas sejam verdadeiras. No Cálculo Proposicional Clássico isto significa ter ao menos uma valoração na qual as premissas são verdadeiras enquanto a conclusão é falsa. | |||
Antes de listar as falácias mais freqüentes, há uma ressalva que precisa ser exposta: Muitos lógicos discordam que as falácias (mesmo as lógicas) estejam no escopo do estudo de lógica. Eles têm uma ótima razão para afirmar isto. Os argumentos logicamente inválidos podem ter várias formas, tais como: | |||
Linha 642: | Linha 638: | ||
Ambos argumentos são logicamente inválidos. Mas enquanto ninguém seria tolo o suficiente para enganar-se, ser enganado ou tentar enganar alguém com o primeiro argumento, o segundo é freqüente. A razão para tal não é lógica, mas psicológica. “''Por quais argumentos logicamente inválidos as pessoas geralmente são enganadas?''” Não é uma questão estritamente lógica. | |||
De qualquer forma, cabe num livro de introdução à lógica demonstrar que certos argumentos que por alguma razão parecem logicamente válidos, de fato não o são. | |||
Linha 923: | Linha 920: | ||
=====Comutação dos condicionais===== | =====Comutação dos condicionais===== | ||
:A implica | :A implica B. (A→B) | ||
:Logo, B implica | :Logo, B implica A. (B→A) | ||
:Exemplo: | :Exemplo: | ||
Linha 946: | Linha 943: | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
|style="background-color: #DDD;" | | |style="background-color: #DDD;" |V | ||
|- | |- | ||
|style="background-color: #DDD;" |F | |style="background-color: #DDD;" |F | ||
Linha 966: | Linha 963: | ||
=====Contraposição imprópria===== | =====Contraposição imprópria===== | ||
:A implica | :A implica B. (A→B) | ||
:Logo, não A implica | :Logo, não A implica não B. (¬A → ¬B) | ||
:Exemplo: | :Exemplo: | ||
Linha 1 074: | Linha 1 071: | ||
{{AutoCat}} |
Edição atual tal como às 09h59min de 18 de setembro de 2019
Implicação semântica
- Uma fórmula é consequência semântica de um conjunto de fórmulas, o que representamos por , se, e somente se, em todas as valorações nas quais todas fórmulas de forem verdadeiras, também é verdadeira.
- Por exemplo, digamos que (Gama é o conjunto unitário da fórmula alfa). Se é verdadeira, então é verdadeira. Assim:
- (o conjunto unitário alfa tem como consequência semântica a fórmula alfa)
- Ainda utilizando o conjunto , podemos dizer que:
- (o conjunto unitário alfa tem como consequência semântica na negação da negação de alfa).
- Afinal, sempre que uma fórmula é verdadeira, a negação de sua negação também é verdadeira. Como está ilustrado na tabela adiante:
α | ¬α | ¬¬α |
V | F | V |
- Agora digamos que (Gama é o conjunto binário das fórmulas alfa e beta). Revejamos algumas tabelas de verdade, apenas a linha que representa o caso de e serem ambas verdadeiras:
α | β | α∧β | α∨β | α→β | α↔β |
V | V | V | V | V | V |
- Podemos ver que, sempre que duas fórmulas são verdadeiras, a conjunção, disjunção, implicação e bi-implicação entre elas também são verdadeiras. Assim sendo:
No caso da conjunção, é válido o seguinte:
- Afinal, sempre que a conjunção entre duas fórmulas é verdadeira, ambas as fórmulas são verdadeiras. Isto não acontece com as outras operações lógicas (reveja as tabelas de verdade).
As tautologias
- Dada qualquer fórmula , seu conjunto unitário tem como consequência semântica qualquer tautologia:
- etc.
- Afinal, se as tautologias são sempre verdadeiras, então sempre que é verdadeiro uma tautologia também é verdadeira.
ψ | ¬(α∧¬α) | α∨¬α | α→α |
V | V | V | V |
F | V | V | V |
- Aliás, até um conjunto vazio de premissas tem como consequência semântica uma tautologia:
- etc.
- Portanto, podemos indicar que uma fórmula é tautológica assim:
- etc.
Teorema da dedução
- se, e somente se,
- Ou seja, um conjunto de fórmulas tem como consequência semântica a fórmula , se, e somente se, acrescido de implica tautologicamente
- No caso em que , segue que:
- se e somente se .
- Ou seja, se consiste numa tautologia, então um argumento onde o antecedente () seja a premissa e o conseqüente () seja a conclusão é válido. A recíproca também é verdadeira. Ex:
Argumentando com o CPC
- Agora passemos para casos de implicação semântica mais interessantes. Vejamos o seguinte conjunto de fórmulas:
- Podemos dizer que:
- O que fica evidente na tabela:
A | B | A→B |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Na única linha na qual as fórmulas e são ambas verdadeiras, a fórmula também é verdadeira.
Agora podemos usar o CPC para verificar a validade lógica de uma infinidade de raciocínios ou argumentos. Como acabamos de ver, é válido todo raciocínio com a seguinte estrutura:
Por exemplo:
- Se choveu, então o chão está molhado.
- Oras, choveu.
- Logo, o chão está molhado.
- Se ele estudou muito, então conseguiu uma boa nota.
- Ele estudou muito.
- Logo, ele conseguiu uma boa nota.
Também podemos apontar que um raciocínio é logicamente inválido, ou seja, falacioso. Por exemplo:
- Se ele estudou muito, então conseguiu uma boa nota.
- Ele conseguiu uma boa nota.
- Logo, ele estudou muito.
- Consideremos que significa “Ele estudou muito” e significa “Ele conseguiu uma boa nota”. A estrutura do argumento então é esta:
Agora façamos uma tabela de verdade para verificar se sempre que e são verdades, também é verdade:
A | B | A→B |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Como podemos ver, existe uma valoração na qual e são verdades e é uma falsidade. Portanto, o raciocínio é invalido.
Lista de argumentos válidos usuais
Modus ponens
- Ex:
- Se choveu(A), então o chão está molhado(B).
- Oras, choveu(A).
- Logo, o chão está molhado(B).
Modus tollens
- Ex:
- Se ele estudou(A), então ele tirou uma boa nota(B).
- Ele não tirou uma boa nota(~B).
- Logo, ele não estudou(~A).
A | B | ¬A | ¬B | A→B |
V | V | F | F | V |
V | F | F | V | F |
F | V | V | F | V |
F | F | V | V | V |
Leis de Morgan 1
- Ex:
- Não é o caso de virem ambos Fulano e Beltrano para a reunião.
- Logo, não virá o Fulano ou não virá o Beltrano.
- Obs: Como a disjunção não é exclusiva, ela não exclui o caso de não virem ambos.
A | B | ¬A | ¬B | A∧B | ¬(A∧B) | ¬A ∨ ¬B |
V | V | F | F | V | F | F |
V | F | F | V | F | V | V |
F | V | V | F | F | V | V |
F | F | V | V | F | V | V |
Observe que também é válido o seguinte:
Leis de Morgan 2
- Ex:
- Não é o caso de vir Fulano ou vir Beltrano para a reunião.
- Logo, não virá o Fulano e não virá o Beltrano.
A | B | ¬A | ¬B | A∨B | ¬(A∨B) | ¬A ∧ ¬B |
V | V | F | F | V | F | F |
V | F | F | V | V | F | F |
F | V | V | F | V | F | F |
F | F | V | V | F | V | V |
- Observe que também é válido o seguinte:
Silogismo Disjuntivo
- Ex:
- Certamente eu comprarei bolo de chocolate ou torta de limão.
- Não comprarei bolo de chocolate desta vez.
- Logo, comprarei torta de limão.
- Repare que é equivalente a , de forma que o silogismo disjuntivo consiste num caso do Modus ponens.
A | B | ¬A | A∨B | ¬A→B |
V | V | F | V | V |
V | F | F | V | V |
F | V | V | V | V |
F | F | V | F | F |
Silogismo hipotético
- Ex:
- Se o buraco na camada de ozônio aumenta, a incidência de raios UV também aumenta.
- Se a incidência de raios UV aumenta, o risco de contrair câncer de pele também aumenta.
- Logo, se o buraco na camada de ozônio aumenta, o risco de contrair câncer de pele também aumenta.
A | B | C | A→B | B→C | A→C |
V | V | V | V | V | V |
V | V | F | V | F | F |
V | F | V | F | V | V |
V | F | F | F | V | F |
F | V | V | V | V | V |
F | V | F | V | F | V |
F | F | V | V | V | V |
F | F | F | V | V | V |
Contraposição
- Ex:
- Se tudo está calmo, então estou entediado.
- Logo, se não estou entediado, então nem tudo está calmo.
A | B | ¬A | ¬B | A→B | ¬B→¬A |
V | V | F | F | V | V |
V | F | F | V | F | F |
F | V | V | F | V | V |
F | F | V | V | V | V |
- Repare que o inverso também é válido:
Argumento Conjuntivo
- Ex:
- Não é o caso de virem ambos Fulano e Beltrano à reunião.
- Fulano veio à reunião.
- Logo, Beltrano não veio.
A | B | ¬B | A∧B | ¬(A∧B) |
V | V | F | V | F |
V | F | V | F | V |
F | V | F | F | V |
F | F | V | F | V |
- Repare que o inverso também é válido:
Falácias
Uma falácia (ou sofisma) é um raciocínio ou argumento inválido.
Desde a antigüidade filósofos como Platão e Aristóteles buscavam distinguir entre argumentos válidos dos sofismas, que não passam de malabarismos retóricos que podem nos afastar da verdade.
Na literatura especilizada, assim como em vários sítios pela internet, constam várias listas de falácias, das quais vão da quebra de decoro retórico até o desrespeito à metodologia científica.
Nosso interesse aqui são as falácias lógicas, ou seja, o desrespeito as regras da lógica para a construção de raciocínios válidos. No caso da lógica clássica, o raciocínio inválido é aquele que tem uma estrutura a qual não garante que a conclusão seja verdadeira caso as premissas sejam verdadeiras. No Cálculo Proposicional Clássico isto significa ter ao menos uma valoração na qual as premissas são verdadeiras enquanto a conclusão é falsa.
Antes de listar as falácias mais freqüentes, há uma ressalva que precisa ser exposta: Muitos lógicos discordam que as falácias (mesmo as lógicas) estejam no escopo do estudo de lógica. Eles têm uma ótima razão para afirmar isto. Os argumentos logicamente inválidos podem ter várias formas, tais como:
- A.
- Logo, não A.
- Se A, então B.
- Não A.
- Logo, Não B.
Ambos argumentos são logicamente inválidos. Mas enquanto ninguém seria tolo o suficiente para enganar-se, ser enganado ou tentar enganar alguém com o primeiro argumento, o segundo é freqüente. A razão para tal não é lógica, mas psicológica. “Por quais argumentos logicamente inválidos as pessoas geralmente são enganadas?” Não é uma questão estritamente lógica.
De qualquer forma, cabe num livro de introdução à lógica demonstrar que certos argumentos que por alguma razão parecem logicamente válidos, de fato não o são.
Afirmação do conseqüente
- Se A, então B. (A→B)
- B.
- Logo, A.
- Exemplos:
- Se João estudou muito foi bem na prova.
- João foi bem na prova.
- Logo, João estudou muito.
- Se Pedro foi atropelado, então ele morreu.
- Pedro morreu.
- Logo, Pedro foi atropelado.
A | B | A→B |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
- Repare que em uma linha, as fórmulas A→B e B são verdadeiras mas a fórmula A é falsa. Ou seja, João pode ter ido bem na prova, mas talvez não tenha estudado muito; e Pedro pode ter morrido, mas talvez não tenha sido atropelado.
- Um raciocínio semelhante é válido:
- A se e somente se B. (A↔B)
- B.
- Logo, A.
A | B | A↔B |
V | V | V |
V | F | F |
F | V | F |
F | F | V |
- Exemplos:
- (Dado que não havia como colar, a prova estava muito difícil e o professor não é condescendente).
- João foi bem na prova se e somente se estudou muito.
- João foi bem na prova.
- Logo, João estudou muito.
- (Dado que Pedro é um Highlander).
- Pedro morreu se e somente se foi decapitado.
- Pedro morreu.
- Logo, Pedro foi decapitado.
Negação do antecedente
- Se A, então B. (A→B)
- Não A. (¬A)
- Logo, não B. (¬B)
- Exemplos:
- Se João estudou muito, então foi bem na prova.
- João não estudou muito.
- Logo, João não foi bem na prova.
- Se Pedro foi atropelado, então ele morreu.
- Pedro não foi atropelado.
- Logo, Pedro não morreu.
A | B | ¬A | ¬B | A→B |
V | V | F | F | V |
V | F | F | V | F |
F | V | V | F | V |
F | F | V | V | V |
Repare que em uma linha, as fórmulas A→B e ¬A são verdadeiras mas a fórmula ¬B é falsa. Ou seja, João pode não ter estudado muito, mas talvez tenha ido bem na prova; e Pedro pode não ter sido atropelado, mas talvez tenha morrido.
Um raciocínio semelhante é válido:
- A se e somente se B. (A↔B)
- Não A. (¬A)
- Logo, não B. (¬B)
A | B | ¬A | ¬B | A↔B |
V | V | F | F | V |
V | F | F | V | F |
F | V | V | F | F |
F | F | V | V | V |
Exemplos:
- (Dado que não havia como colar, a prova estava muito difícil e o professor não é condescendente).
- João foi bem na prova se e somente se estudou muito.
- João não foi bem na prova.
- Logo, João não estudou muito.
- (Dado que Pedro é um Highlander).
- Pedro morreu se e somente se foi decapitado.
- Pedro não morreu.
- Logo, Pedro não foi decapitado.
Afirmação do disjunto
- A ou B. (A ∨ B)
- A.
- Logo, não B. (¬B)
- Exemplo:
- Nestas férias, Renata vai para Londres ou Paris.
- Ela já comprou passagem para Londres.
- Logo, ela não vai para Paris.
A | B | ¬B | A∨B |
V | V | F | V |
V | F | V | V |
F | V | F | V |
F | F | V | F |
- Na primeira linha vemos um caso de A ∨ B e A serem verdadeiros mas ¬B ser falso. Ou seja, talvez Renata tenha ido tanto a Londres quanto a Paris nas férias.
- Mas caso a disjunção seja exclusiva, o raciocínio é válido:
- Ou A ou B. (A ∨ B)
- A.
- Logo, não B. (¬B)
A | B | ¬B | A∨B |
V | V | F | F |
V | F | V | V |
F | V | F | V |
F | F | V | F |
Comutação dos condicionais
- A implica B. (A→B)
- Logo, B implica A. (B→A)
- Exemplo:
- Se Luana tem carteira de motorista, ela é maior de idade.
- Logo, se Luana é maior de idade, ela tem carteira de motorista.
A | B | A→B | B→A |
V | V | V | V |
V | F | F | V |
F | V | V | F |
F | F | V | V |
- Numa linha, A→B é verdadeira mas B→A é falsa. Ou seja, Luana pode ser maior de idade, mas não ter carteira de motorista.
- A comutação é válida no caso da conjunção, disjunção e bi-implicação.
Contraposição imprópria
- A implica B. (A→B)
- Logo, não A implica não B. (¬A → ¬B)
- Exemplo:
- Se as condições forem favoráveis para o fenômeno ocorrer, ele ocorrerá.
- Logo, se as condições forem desfavoráveis, o fenômeno não ocorrerá.
A | B | ¬A | ¬B | A→B | ¬A→¬B |
V | V | F | F | V | V |
V | F | F | V | F | V |
F | V | V | F | V | F |
F | F | V | V | V | V |
- Numa linha A→B é verdadeira enquanto ¬A→¬B é falsa. Ou seja, talvez o fenômeno pode ocorrer mesmo que as condições não sejam favoráveis.
- Um exemplo que tornaria o caráter falacioso deste argumento evidente é:
- Se decapitarmos Luis XVI, ele morrerá.
- Logo, se não o decapitarmos, ele não morrerá.
Negação de um termo conjunto
- Não é o caso de ambos A e B. ¬(A∧B)
- Não A. (¬A)
- Logo, B.
Exemplo:
- Não é o caso do clima estar ensolarado e estar nublado ao mesmo tempo.
- Não está ensolarado.
- Logo, está nublado.
A | B | ¬A | A∧B | ¬(A∧B) |
V | V | F | V | F |
V | F | F | F | V |
F | V | V | F | V |
F | F | V | F | V |
Há uma linha na qual as fórmulas ¬A e ¬(A∧B) são verdadeiras mas B é falsa. Ou seja, o dia poderia não estar nem ensolarado e nem nublado.