Você está na página 1de 2

Lógica

Filosofia Nasceu no século VI a.C. na Grécia.


Pai da Lógica – Aristóteles.
Argumento Lógica proposicional
Toda a atividade física é saudável. – Premissa
O céu é azul e a relva é verde. – Proposição
Todo o desporto é atividade física. – Premissa
Composta
Logo, todo o desporto é saudável. –
Conclusão
Conector proporcional/lógico (composição).
˄ – símbolo proposicional/lógico da conjunção.
Indicador de conclusão
O céu é azul. – Proposição simples
Validade/Invalidade A relva é verde. – Proposição simples

Estrutura / Forma que tem o argumento. DICIONÁRIO

𝑎é𝑏 P – O céu é azul.


𝑐é𝑎 Q – A relva é verde.
.
𝑐é𝑏 P˄Q
Argumentos – válidos ou inválidos ≠
Proposições – verdadeiras ou falsas Operadores vero funcionais
Conclusão – inferir ou deduzir ˄ - conjunção;
┐- negação;
☼Dedutivos: dependem da forma lógica – ˅ - disjunção inclusiva;
demonstrações matemáticas. ou - disjunção exclusiva;
☼Indutivos: não dependem apenas da forma → - condicional / implicação;
lógica – conclusão mais ampla – premissas  - bicondicional / equivalência;
não sustentam a conclusão.
P – antecedente
𝑉 𝐹 Q – consequente
𝑉 𝐹
𝑉 𝐹
CONJUNÇÃO – e, mas, no entanto
Argumento dedutivamente válido – A
conclusão segue o que é dito nas premissas. P Q P˄Q A conjunção só é verdadeira
V V V quando as duas proposições
𝑉 𝐹 são verdadeiras.
𝑉 𝐹 V F F
𝐹 𝑉 F V F
F F F
Argumento dedutivamente inválido – A
conclusão não segue o que é dito nas
premissas. NEGAÇÃO – não, não é verdade que

Quadrado Lógico P ┐P Se a proposição é verdadeira, a


V F sua negação é falsa;
F V
Se a proposição é falsa, a sua
negação é verdadeira.
DISJUNÇÃO INCLUSIVA – ou, a não ser que
P Q P˅Q A disjunção inclusiva só é
V V V falsa quando as duas
V F V proposições são falsas.
F V V
F F F
DISJUNÇÃO EXCLUSIVA - …ou…ou,
mas não ambos

P Q P Q A disjunção exclusiva é
V V F verdadeira quando as
V F V proposições têm valores lógicos
F V V distintos e falsa quando têm o
F F F mesmo valor lógico.

CONDICIONAL – se… então, somente

P Q P→Q A condicional só é falsa


V V V quando o antecedente é
V F F verdadeiro e o
F V V consequente é falso.
F F V

BICONDICIONAL – se é só se, se e somente


se
P Q PQ A bicondiconal é verdadeira
V V V quando as proposições têm o
V F F mesmo valor lógico e falsa
F V F quando têm valores lógicos
F F V distintos.

Você também pode gostar