Eslaide Aula 5 Logica

Raciocínio Lógico
Aula 05

Prof. Edjalma C. Ferreira
Prof. Edjalma C. Ferreira

Raciocínio Lógico

1/47

Conteúdo da Aula
 Argumentos e regras de inferência  Validade mediante tabelas-verdade Prof. Edjalma C. Ferreira

Raciocínio Lógico

2/47

Contextualização

Prof. Edjalma C. Ferreira

Raciocínio Lógico

3/47

 Argumentos e regras de inferência Chama-se de Argumento toda afirmação de uma dada sequência finita P1, P2, P3 … Pn (n  1) de proposições que tem como consequência ou acarreta uma proposição final Q.

Prof. Edjalma C. Ferreira

Raciocínio Lógico

4/47

As proposições P1, P2, P3 … Pn (n  1) dizem-se as premissas do argumento, e a proposição final Q diz-se a conclusão do argumento.

Um argumento de premissas P1,
P2, P3 … Pn e de conclusão Q indica-se por:
P1, P2, P3 … Pn ‫ ─׀‬Q

Prof. Edjalma C. Ferreira

Raciocínio Lógico

5/47

E se lê de uma das seguintes maneiras: “P1, P2, … Pn acarretam Q”
“Q decorre de P1, P2, P3 … Pn”
“Q se deduz de P1, P2, P3 … Pn”
“Q se infere de P1, P2, P3 … Pn”

Um argumento que consiste em duas premissas e uma conclusão chama-se silogismo Prof. Edjalma C. Ferreira

Raciocínio Lógico

6/47

Validade de um Argumento
Um argumento é uma série de sentenças (premissas) que podem ser simbolizadas por P1, P2,..., Pn seguidas de uma conclusão Q.
Notação: P1  P2 ...,  Pn  Q.

Um argumento P1  P2 ...,  Pn  Q diz-se um argumento válido se e somente se a conclusão Q é verdadeira todas as vezes que as premissas P1  P2
...,  Pn são TODAS verdadeiras.

Prof. Edjalma C. Ferreira

Raciocínio Lógico

7/47

Portanto, todo argumento válido goza da seguinte propriedade: “A verdade das premissas é incompatível com a falsidade da conclusão.”
Um argumento não válido é chamado de sofisma.

Prof. Edjalma C. Ferreira

Raciocínio Lógico

8/47

Critérios para Validade de um
Argumento
Teorema:
Um argumento P1, P2, P3 … Pn ‫ ─׀‬Q é válido se a condicional: (P1  P1 .....  Pn  Q (1) é tautologia

Prof. Edjalma C. Ferreira

Raciocínio