1 - Séculos VII e VI a.

2 – Tales, viveu em Miletos

3 – Problema de Arche – Problema de origem – O que é que está presente em tudo o que é? - Água.

4 – O mito pretende fornecer uma explicação para algum acontecimento da natureza ou da natureza
humana.

5–b

6 - Pré-Socráticos, e preocupavam-se com questões relacionadas com a natureza.

7 - Questões conceptuais, não matemáticas, em aberto.

8 – Atividade crítica que se dedica à investigação de problemas conceptuais não matemáticos.

9 – Dividir algo no máximo de partes possíveis.

10 – Problemas que podem ser respondidos através da consulta de documentos, da experiência ou

da observação.

11 – Problemas empíricos: b, c; Problemas filosóficos: a, d

12 – Identidade, uma coisa é o que é; Não contradição, uma coisa não pode ser e não ser ao mesmo
tempo sobre o mesmo aspeto; Terceiro excluído - Uma coisa é ou não é, não existe uma terceira
possibilidade.

13 – Conceito - Representação intelectual e abstrata que reúne características sobre um ser ou um

objeto; Juízo - Resulta da relação entre conceitos; Raciocínio - Resulta da relação entre juízos.

14 – Conceito – Termo; Juízo - Proposição; Argumento - Raciocínio.

15 - Extensão - Designa o número de seres a que se aplica o conceito; Compreensão - Designa o

número de características que definem esse conceito.

16 – Todos os estojos.

17 – mais

18 – Menor compreensão, maior extensão - Ser; Maior compreensão, menor extensão - Conceito
que defina algum ser em particular.

19 – Uma tese é uma resposta a um problema que está em aberto. É a conclusão dum argumenento
e a ideia fundamental a ser defendida.

20 - Conteúdo expresso por uma frase declarativa.

21 – Frase em que se afirma ou nega algo sobre alguma coisa, podem se classificar como verdadeiras
ou falsas, não existindo outra opção.

22 – A mesma proposição pode ser expressa por duas frases declarativas diferentes. Por exemplo
Paris é a capital de França e França tem como capital Paris são duas frases declarativas diferentes
mas que representam a mesma proposição.

23 – Valores de verdade: Verdadeiro ou falso e característica da proposição.

24 – Argumento ou inferência é um conjunto variável de proposições articuladas entre si com o
intuito de uma delas ser apoiada pelas outras.

25 - Conclusão - Corresponde ao que a proposição pretender defender e não tem de surgir em

último lugar na frase, é também apenas uma por frase; Premissa – Corresponde ao que visa apoiar a
tese ou seja a conclusão do argumento não tem de surgir em primeiro e o número de premissas por
frase é variável.

26 - 1º premissas, conclusão no fim.

27 - Conclusão: Logo, portanto, consequentemente, assim; Premissa: porque, pois, uma vez, dado
que.

28 – Para se garantir a validade do argumento apura-se se as premissas apoiam a conclusão do

argumento.

29 – A verdade da proposição verifica-se garantindo a verdade das premissas, uma vez que a
verdade das premissas garante a verdade da proposição.

30 – Argumento válido: É impossível todas as premissas serem verdadeiras e a conclusão falsa,

simultaneamente; Argumento inválido: As premissas podem ser todas verdadeiras e a conclusão ser
falsa.

31 – Um argumento sólido é aquele que é válido e tem todas as premissas verdadeiras.

32 - Categórica - Proposições que afirmam ou negam algo categoricamente, ou seja sem colocar
condições ou restrições - ex. O Duarte é inteligente.; Condicional - Proposições em que se afirmam
ou negam algo, colocando condições ou restrições - ex. O Duarte é inteligente se tirar 20 no teste.

33 – Duas proposições simples ligadas por uma conectiva.

34 -

35 – Quantificador + Sujeito + Cópula (ser) + Predicado – Todos os porcos são animais de quatro
patas.

36 – Universal – Todos/Nenhum; Particular – Alguns.

37 – Afirmativa - são; Negativa - não são

38 – Tipo A – Universal Afirmativa; Tipo E – Universal Negativa; Tipo I – Particular afirmativa; Tipo O
– Particular Negativa.

39 - Contraditórias - A e O e E e I; Contrárias - A e E; Subcontrárias - I e O; Sub alternas – A para I e E

para O.

40 – a- V; b- F – Podem ser ambas falsas ao mesmo tempo; c- V.

41 – Operadores lógicos.

42 - ~ - Negação - não; P - Proposição simples; ^ - Conjunção - e; Disjunção - V – ou; Condicional -» -

Se, então; Bicondicional «-» - Se e só se.

43 – Calculando 2 elevado a n, sendo n o número de letras proposicionais.

44 -
 P ~P
V F
F V
45 – Uma conjunção só é verdadeira se ambos os conjuntos forem verdadeiros.

46 -

P ^ Q
V V V
V F F
F F V
F F F

47 – A disjunção inclusiva só é falsa quando as duas proposições são falsas, já a exclusiva só é

verdadeira quando as duas proposições têm valores de verdade diferentes.

48 -

P V Q
V V V
V V F
F V V
F F F

P . Q
V
V F V
V V F
F V V
F F F

49 – Uma condicional só é falsa quando o antecedente (condição) é verdadeiro e o consequente

(condicionado) é falso.

50 -

P -» Q
V V V
V F F
F V V
F V F

51 – Uma bicondicional só é verdadeira quando ambas as proposições têm o mesmo valor de

verdade, quer seja verdadeiro ou falso.

52 -
 P «-» Q
V V V
V F F
F F V
F V F

53 - Contingente (contingência) - Proposição que é verdadeira ou falsa dependendo das

circunstâncias ; Contraditória (contradição) - Proposição falsa em todas as circunstâncias ;
Tautológica (tautologia) - Proposição verdadeira em todas as circunstâncias.

54 – Formas de inferência válida:

Negação dupla: ~~P ∴ Q – Dupla negação de P, Conclusão Q
Ex: Não é verdade que … não … Logo,

Modus Ponens: P » Q, P ∴ Q – P condicional Q (Se P então Q), Afirmação de P, Conclusão Q

Modus Tollens: P » Q, ~Q ∴ ~P – P condicional Q, Negação de Q, Conclusão, Negação P

Contraposição: P » Q ∴ ~Q » ~P - P condicional Q, Conclusão Negação de P condicional negação de Q

Silogismo disjuntivo: P V Q, ~P ∴ Q ou P V Q, ~Q ∴ P – P disjunção Q, Negação P ou Q, e Conclusão, P

ou Q, dependendo do anterior

Silogismo Hipotético: P » Q, Q » R ∴ P » R – P condicional Q, Q condicional R, Conclusão, P

condicional R

Leis de Morgan: ~ (P V Q) ∴ ~P ^ ~Q ou ~ (P ^ Q) ∴ ~P V ~Q - Negação da disjunção, P disjunção Q,

Conclusão, Negação de P conjunção negação Q ou Negação da conjunção, P conjunção Q, Conclusão,
Negação de P disjunção negação Q.

55 - Falácia da afirmação da consequente (contrário de Modus Ponens) - P » Q, Q ∴ P – P condicional

Q, Afirmação Q, Conclusão P

Falácia da negação da antecedente (contrário de Modus Tollens) - P » Q, ~P ∴ ~Q – P condicional Q,

Negação de P, Conclusão, negação de Q.