Prova​ ​de​ ​validade

Após​ ​construir​ ​a​ ​tabela​ ​verdade:

–​ ​Se​ ​as​ ​combinações​ ​que​ ​possuem​ ​todas​ ​as​ ​premissas​ ​Verdadeiras​ ​também​ ​possuem​ ​as
conclusões​ ​Verdadeiras,​ ​então​ ​o​ ​argumento​ ​é​ ​Válido.
–​ ​Se​ ​alguma​ ​combinação​ ​com​ ​todas​ ​as​ ​premissas​ ​Verdadeiras​ ​possuir​ ​uma​ ​conclusão​ ​Falsa,
então​ ​o​ ​argumento​ ​Não​ ​é​ ​Válido.
OBSERVAÇÃO:​ ​Esse​ ​símbolo​ ​|--​​ ​se​ ​lê​ ​Logo​.

Sentença:​ ​Se​ ​Maria​ ​lê,​ ​então​ ​Maria​ ​tem​ ​dor​ ​de​ ​cabeça.​ ​Maria​ ​tem​ ​dor​ ​de​ ​cabeça.​ ​Logo,
Maria​ ​lê.
P:​ ​Maria​ ​lê;
Q:​ ​Maria​ ​tem​ ​dor​ ​de​ ​cabeça;
P​ ​ → ​ ​Q,​ ​Q​ ​|--​ ​P

Premissas Conclusão

P Q P​ ​->​ ​Q Q P

V V V V V

V F F F V

F V V V F As​ ​premissas​ ​são​ ​verdadeiras,​ ​mas​ ​a​ ​conclusão

falsa.

F F V F F
Note​ ​que,​ ​para​ ​o​ ​argumento​ ​ser​ ​válido,​ ​é​ ​preciso​ ​que​ ​as​ ​combinações​ ​que​ ​são​ ​verdadeiras
possuam​ ​conclusões​ ​verdadeiras.​ ​Portanto,​ ​esse​ ​argumento​ ​é​ ​INVÁLIDO​!

Sentença:​ ​Ou​ ​o​ ​fenômeno​ ​ocorre​ ​ou​ ​a​ ​teoria​ ​não​ ​é​ ​verdadeira.​ ​O​ ​fenômeno​ ​não​ ​ocorre.
Logo,​ ​a​ ​teoria​ ​não​ ​é​ ​verdadeira.
P:​ ​O​ ​fenômeno​ ​ocorre.
Q:​ ​A​ ​teoria​ ​é​ ​verdadeira.
Símbolo​ ​de​ ​OU​ ​EXCLUSIVO​ ​(​v​)
P​ ​v​ ​~Q,​ ​~P​ ​|--​ ​~Q

P Q ~Q P​ ​v​ ​~Q ~P ~Q

V V F V F F

V F V F F V

F V F F V F

F F V V V V
Note​ ​que​ ​esse​ ​argumento​ ​é​ ​VÁLIDO​,​ ​pois​ ​as​ ​combinações​ ​que​ ​são​ ​verdadeiras​ ​possuem
conclusões​ ​verdadeiras.

Sentença:​ ​Se​ ​a​ ​teoria​ ​é​ ​verdadeira,​ ​então​ ​o​ ​fenômeno​ ​ocorre.​ ​O​ ​fenômeno​ ​ocorre.​ ​Logo,
a​ ​teoria​ ​é​ ​verdadeira;
P:​ ​A​ ​teoria​ ​é​ ​verdadeira;
Q:​ ​O​ ​fenômeno​ ​ocorre;

P​ ​ → Q,​ ​Q​ ​|--​ ​P

Premissas Conclusão

P Q P​ ​->​ ​Q Q P

V V V V V

V F F F V

F V V V F As​ ​premissas​ ​são​ ​verdadeiras,​ ​mas​ ​a​ ​conclusão

falsa.

F F V F F
Note​ ​que,​ ​para​ ​o​ ​argumento​ ​ser​ ​válido,​ ​é​ ​preciso​ ​que​ ​as​ ​combinações​ ​que​ ​são​ ​verdadeiras
possuam​ ​conclusões​ ​verdadeiras.​ ​Portanto,​ ​esse​ ​argumento​ ​é​ ​INVÁLIDO​!

Sentença:​ ​Se​ ​você​ ​fosse​ ​Maradona,​ ​seria​ ​um​ ​excelente​ ​futebolista.​ ​Você​ ​não​ ​é​ ​Maradona.
Logo,​ ​você​ ​não​ ​é​ ​um​ ​excelente​ ​futebolista.
P:​ ​Você​ ​é​ ​Maradona.
Q:​ ​Você​ ​é​ ​um​ ​excelente​ ​futebolista.
P​ ​ → Q,​ ​~P​ ​|--​ ​~Q

Premissas Conclusão

P Q P​ ​->​ ​Q ~P ~Q

V V V F F

V F F F V

F V V V F As​ ​premissas​ ​são​ ​verdadeiras,​ ​mas​ ​a​ ​conclusão

falsa.

F F V V V
Note​ ​que,​ ​para​ ​o​ ​argumento​ ​ser​ ​válido,​ ​é​ ​preciso​ ​que​ ​as​ ​combinações​ ​que​ ​são​ ​verdadeiras
possuam​ ​conclusões​ ​verdadeiras.​ ​Portanto,​ ​esse​ ​argumento​ ​é​ ​INVÁLIDO​!
Sentença:​ ​Se​ ​a​ ​teoria​ ​é​ ​verdadeira,​ ​então​ ​o​ ​fenômeno​ ​ocorre.​ ​O​ ​fenômeno​ ​não​ ​ocorre.​ ​Logo,
a​ ​teoria​ ​é​ ​falsa.
P:​ ​A​ ​teoria​ ​é​ ​verdadeira,
Q:​ ​O​ ​fenômeno​ ​ocorre.
P​ ​ → Q,​ ​~Q​ ​|--​ ​~P

Premissas Conclusão

P Q P​ ​->​ ​Q ~Q ~P

V V V F F

V F F V F

F V V F V

F F V V V As​ ​premissas​ ​e​ ​a​ ​conclusão​ ​são​ ​verdadeiras.

Note​ ​que​ ​esse​ ​argumento​ ​é​ ​VÁLIDO​,​ ​pois​ ​as​ ​combinações​ ​que​ ​são​ ​verdadeiras​ ​possuem
conclusões​ ​verdadeiras.