Universidade Aberta Isced

Faculdade de Ciências de Educação

Curso de Licenciatura em Ensino de Matemática

Método dedutivo, argumento, regras de inferência e validade mediante tabelas de verdades

Samuel João Samuel: 71230065

Quelimane, Setembro, 2023

 Universidade Aberta Isced
Departamento de Ciências de Educação
Curso de Licenciatura em ensino de Matemática

Método dedutivo, argumento, regras de inferência e validade mediante tabelas de verdades

Trabalho de Campo a ser submetido

na Coordenação do Curso de
Licenciatura em Ensino de
Matemática da UnISCED.
Tutor:

Samuel João Samuel: 71230065

Quelimane, Setembro, 2023

Índice
Introdução ........................................................................................................................................ 4

Metodologia ..................................................................................................................................... 4

Método ............................................................................................................................................. 5

LOGICA DA DEDUÇÃO ............................................................................................................... 5

História ............................................................................................................................................ 5

ARGUMENTO................................................................................................................................ 6

COMO FAZER UM ARGUMENTO LÓGICO ............................................................................. 6

REGRAS DE INFERÊNCIA .......................................................................................................... 7

validade de argumentos mediante tabela-verdade ........................................................................... 8

Operações logicas sobre preposições .............................................................................................. 8

Verificação mediante tabela-verdade- Exemplo.............................................................................. 9

Conclusão ...................................................................................................................................... 11
 1. Introdução
O presente trabalho e o resultado desenvolvida em torno do tema: “Método dedutivo,
argumento, regras de inferência e validade mediante tabelas de verdades”. proposto pelo
tutor de Logica e teoria de conjunto, cujo objectivos são:

Objectivo geral:

• conhecer as regras de inferências;

objectivos específicos:

• definir o conceito de Argumento;

• explicar mediante tabelas de verdade;
• Construir tabela de verdade.
Vai se perceber que o argumento e definido como uma afirmação acompanhada de
justificativa ou como justaposição de duas afirmações opostas, argumento e contra-
argumento.

1.2. Metodologia
Para a presente pesquisa, o autor do presente trabalho recorreu a pesquisa bibliográfica:
que ocorre quando a informação e elaborada a partir de material já publicado, constituído
principalmente de livros, revistas, boletins, monografias, dissertações, teses, internet, com
o objetivo de colocar o pesquisador em contacto direto com todo material já escrito sobre
o assunto de pesquisa .(Gil, 2008).

4
 2. Método

Método é um conjunto de etapas que quando executadas de forma sistemática facilitam a

obtenção de conhecimentos sobre fenómenos físicos, químicos, e biológicos, ou o
desenvolvimento de novos produtos ou processos, (JUNG. 2009).

2.1. Logica da dedução

Parte de um conhecimento universal para concluir sobre um conhecimento singular, ou seja, vai do
conhecimento geral ao específico. A lógica dedutiva se caracteriza por apresentar conclusões que
devem, necessariamente, ser verdadeiras caso todas as premissas sejam verdadeiras.

2.2. História
O método dedutivo surgiu na Grécia antiga, com o silogismo do filósofo Aristóteles e também foi
desenvolvido por Descartes, Spinoza e Leibniz. É importante ressaltar que a dedução (e o método
dedutivo) não oferece conhecimento novo, uma vez que sempre conduz à particularidade de uma
lei geral previamente conhecida.

A dedução apenas organiza e especifica o conhecimento que já se possui. Ela tem como ponto de
partida o plano do inteligível (ou seja: da verdade geral, já estabelecida) e converge para um ponto
interior deste plano.

De acordo com TORRES 2009 apud JUNG o protótipo do raciocínio e o silogismo, que consiste
numa construção logica que, a partir de duas preposições chamadas premissas, retira uma terceira,
nelas logicamente implicadas, denominada conclusão.

Exemplos

• Todo metal conduz eletricidade. O mercúrio é um metal. Logo, o mercúrio conduz eletricidade.

• Todo planeta é redondo. Marte é um planeta, logo, marte é redondo.

• Todo músculo tem actina. Ancôneo é um músculo, logo, o ancôneo tem actina.

5
Apesar deste método partir de um conhecimento geral para um singular, pode nos levar a
conclusões falaciosas, por exemplos:

• 1) A galinha tem dois pés, homem tem dois pés, logo homem é galinha.

• 2) Os nazistas eram nacionalistas; norte americanos são nacionalistas, logo norte americanos são
nazistas.

3. Argumento
Na lógica e na filosofia um argumento é um conjunto de uma ou mais sentenças declarativas,
também conhecidas como proposições, ou ainda, premissas, acompanhadas de uma outra frase
declarativa conhecida como conclusão.

Para LIMA 2001, chama-se argumento a afirmação de que um grupo de proposições iniciais
redunda em outra proposição final, que será consequência das primeiras! Dito de outra forma,
argumento é a relação que associa um conjunto de proposições p1, p2, pn, chamadas premissas do
argumento, a uma proposição c, chamada de conclusão do argumento. No lugar dos termos
premissa e conclusão podem ser também usados os correspondentes hipótese e tese,
respetivamente. Vejamos alguns exemplos de argumentos:

Exemplo 1:

p1: Todos os cearenses são humoristas.

p2: Todos os humoristas gostam de música.

c: Todos os cearenses gostam de música.

Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver
determinada situação ou dúvida, por exemplo. Os argumentos são normalmente baseados em
premissas que ajudam a construir uma conclusão.

3.1. Como fazer um argumento lógico

Para que o argumento seja válido, não basta que a conclusão seja verdadeira. É preciso que as
premissas e a conclusão estejam relacionadas corretamente. Distinguir os raciocínios corretos dos

6
incorretos é a principal tarefa da lógica. Os argumentos sempre apresentam uma ou mais premissas
e uma conclusão.

Segundo o modelo de Toulmin (1958), os elementos que compõem a estrutura de um argumento

são o dado (D), a conclusão (C), a justificativa (J), os qualificadores modais (Q), a refutação (R) e
o conhecimento básico (B).

4. regras de inferência
Inferência é um processo pelo qual se chega a uma proposição, afirmada na base de uma ou outras
mais proposições aceitas como ponto de partida do processo.

Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma
conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser
usada para inferir qualquer conclusão válida, se esta conclusão for completa. Entretanto nunca se
pode inferir uma conclusão inválida, se isto for assegurado. Um completo e seguro conjunto de
regras não precisa incluir cada regra da listagem a seguir, já que muitas delas são redundantes, e
podem ser provadas com o uso de outras regras.

Regras de inferência são um conjunto de princípios lógicos que permitem deduzir conclusões a
partir de premissas ou posições anteriores. Algumas das regras de inferência mais comuns são:

7
 5. validade de argumentos mediante tabela-verdade
As tabelas-verdade são ferramentas poderosas na verificação de validade de argumentos. Suponha
que se deseja testar a validade do seguinte argumento: p1^p2^p3…∧pn→q

Uma maneira de resolver este problema consiste em verificar se q consequência logica das
premissas p1∧p2∧p3… ∧ pn. Para isso, basta verificar se a forma condicional do argumento (p1
∧p2∧ p3 ∧pn) q é uma tautologia.

5.1. Operações logicas sobre preposições

Negação

De acordo com professores de filosofia do agrupamento de Escolas de Cascais (2018) afirmam

que a negação ¬𝑝 é falsa quando p e verdadeira, e é verdadeira quando p é falsa.

8
Conjunção p^q só é verdadeira quando p e q soa verdadeiras.

A disjunção de duas proposições p e q é a proposição “p ou q”, que representaremos por “p ∨ q”,

cujo valor lógico será a verdade (V) se pelo menos uma das proposições p e q for verdadeira e será
a falsidade (F) se ambas p e q forem falsas,( CUNHA, 2008).

A disjunção inclusiva P ˅ Q só é falsa quando P e Q são falsas.

A disjunção exclusiva P ˅ Q é falsa quando P e Q têm o mesmo valor de verdade.

Segundo Bertolini at all 2017 a disjunção exclusiva e um caso específico da disjunção. Suponha as
duas preposições abaixo:

p- O Carlos e casado ou gaúcho

q- Maria carioca ou gaúcha

considerando a proposição p, podemos ter que “Carlos e casado “e verdade e “Carlos e gaúcho”
também e verdade”. Ou seja, ambas podem ser verdades. No entanto, na proposição q, se maria foi
carioca ela não poderá ser também gaúcha, ou seja, ou maria e carioca ou e gaúcha. Então temos,
na proposição q, uma disjunção exclusiva pós o ou e exclusivo, enquanto quer na proposição p o
ou e inclusivo.

A condicional P → Q só é falsa quando a antecedente P é verdadeira e a consequente Q é

falsa.

A bicondicional P ↔ Q é verdadeira quando P e Q têm o mesmo valor de verdade.

5.2.Verificação mediante tabela-verdade- Exemplo

Assim, para verificar se o argumento e valido, basta ver se sua forma condicional e

uma tautologia (ou seja, verificar se a conclusão e consequência logica das premissas).

A forma condicional do argumento e dada por: P = (((p→ q)∧ (¬ r 𝑉¬ q) ∧ r) → ¬p

A tabela-verdade para a proposição resultante e mostrada a seguir.

9
 p q r ¬p ¬q ¬ r (p→q) (¬p v ¬q) (p→q)^(¬𝑝𝑉𝑞¬) ∧ 𝑟 p
V V V F F F V F F V
V V F F F V V F F V
V F V F V F F V F V
V F F F V V F V F V
F V V V F F V V V V
F V F V F V V V F V
F F V V V F V V V V
F F F V V V V V F V

Como a forma condicional do argumento e tautológica, ou seja, p e consequência logica das

premissas, o argumento em questão e valido.

10
6. Conclusão

Apos lido o presente trabalho, pode se dizer que todos objectivos foram alcançados pelo
que foram descritos todos assuntos aqui proposto.
Como considerações finais, pode se avançar que método dedutivo, de acordo com acepção
clássica é o método que parte do geral e, a seguir desce ao particular. Parte de princípios
reconhecidos como verdadeiros e indiscutíveis e possibilita chegar a conclusões de maneira
puramente formal, isto é, em virtude unicamente de sua logica. Seguindo que Inferência é
um processo pelo qual se chega a uma proposição, afirmada na base de uma ou outras mais
proposições aceitas como ponto de partida do processo.
As Regras de inferência permitem deduzir conclusões a partir de premissas ou posições
anteriores. As tabelas-verdade são ferramentas poderosas na verificação de validade de
argumentos.

11
7. Bibliografia

• BERTOLINI, Cristiano. 2017. Logica matemática.1a edição Santa Maria.

• CUNHA, Francisco Gêvane Muniz. 2008. Logica e conjunto. Fortaleza.
• https://pt.wikipedia.org/wiki/Lista_de_regras_de_infer%C3%AAncia acesso 15 de
Agosto de 2023, 09:11
• JUNG, Carlos Fernando. 2009, metodologia científica e tecnológica. S/ed. S/L.
• KENNETH H. Rosen: Descrente Mathematics and its Applications, Fifth Edition, p. 58.
• PROFESSORES DE FILOSOFIA DO AGRUPAMENTO DE ESCOLAS DE
CASCAIS.2018. Racionalidade argumentativa da Filosofia e dimensão discursiva do
trabalho filosófico. Aplicar tabelas de verdade na validação de formas argumentativas.
Editores: Agrupamento de Escolas de Cascais.

12