Escolar Documentos
Profissional Documentos
Cultura Documentos
Proposições
Frase- sequência de palavras. Bhasuhcgugdycuwgcyuvxahbcjhwgdbyhuvbbdhxhueunsghdhbb
Proposição- junção de pensamentos.
Proposições: diz-se que proposições são “frases” declarativas, com valor de verdade, mas na
verdade, são meros pensamentos expressos por elas. (Frases ≠Proposições). As “frases”
declarativas são as únicas que se podem dizer proposições, porque são as únicas frases que
negam ou afirmam alguma coisa do sujeito e por isso podem ser vistas do ponto de vista de
verdadeiro ou falso.
1. Todos os homens são mortais. -Termo maior: predicado da conclusão
2. David é um homem. – Termo médio: termo que se repete nas proposições e não entra na
conclusão. 1.Proposição maior
3. Logo David é mortal. – Termo menor: sujeito da conclusão. 2.Proposição menor
3.Conclusão
Cão – Termo/ conceito -> Não pode ser verdadeiro nem falso.
Snoopy é cão – Proposição/ juízo; Apresenta 2 conceitos: “Snoopy” e “cão”. -> Pode ser visto
como verdadeiro ou falso.
Proposição + Proposição = Termos de raciocínio (juízo)
Argumentos
Os argumentos são constituídos por proposições simples ou compostas:
➢ Proposições simples: expressam uma só ideia, não se decompõem. Ex: O David é
mortal.
➢ Proposições compostas: (à exceção das negativas) são compostas por 2 ou mais
proposições simples ligadas por conetivas. Ex: O David é mortal e aluno da ESV.
Lógica Formal
Argumentos Dedutivos: a conclusão segue-se necessariamente das premissas, se estas forem
verdadeiras a conclusão também será.
➢ Argumento dedutivo válido: premissas verdadeiras e conclusão verdadeira. (VVV)
➢ Argumento dedutivo inválido (falácias): premissas verdadeiras e conclusão falsa. ( VVF)
Tabelas de verdade
Uma tabela de verdade é um dispositivo gráfico que permite determinar as condições ou
circunstâncias em que uma certa forma proposicional é verdadeira ou falsa.
Na coluna da esquerda da tabela são apresentadas as circunstâncias possíveis em que uma
proposição pode ser verdadeira ou falsa.
Condições de verdade
Negação
P ¬P
A negação inverte o valor de verdade da proposição inicial, ou
V F
seja, se esta é verdadeira, a sua negação é falsa, e vice-versa.
F V
Conjunção
P Q P^Q
V V V A conjunção só é verdadeira quando as
V F F duas proposições são verdadeiras.
F V F
F F F
Disjunção inclusiva
P Q PVQ
V V V A disjunção inclusiva só é falsa quando as duas proposições
V F V componentes são falsas OU é verdadeira desde que uma
F V V das proposições seja verdadeira.
F F F
Disjunção exclusiva
P Q PVQ
V V F A disjunção exclusiva é verdadeira se, e só se, apenas uma das
V F V proposições for verdadeira (ou é falsa quando as duas
F V V proposições têm o mesmo valor de verdade).
F F F
Condicional
Bicondicional
P Q P↔Q
V V V
Uma bicondicional só é verdadeira quando ambas as
V F F
proposições têm o mesmo valor de verdade.
F V F
F F V
As tabelas de verdade indicam o valor de verdade de uma proposição complexa na qual ocorre
uma conetiva.
Caso, numa proposição complexa, ocorra mais do que uma conetiva, para sabermos o seu valor
de verdade, temos de fazer cálculos, aplicando sucessivamente as tabelas de verdade.
Exemplo:
Se Portugal joga contra Espanha no campeonato do mundo de futebol, então os adeptos
espanhóis não apoiam os jogadores portugueses.
Dicionário:
P: Portugal joga contra Espanha no campeonato do mundo de futebol.
Q: Os adeptos espanhóis apoiam os jogadores portugueses.
Formalização:
P → ¬Q
P Q P→¬Q
V V
V F
F V
F F
Q ¬Q
V F
F V
Depois de ¬Q, calculamos P → ¬Q. Nesse cálculo, vamos considerar os valores de verdade de P
(antecedente) e de ¬Q (consequente).
P Q P→Q
V V V
V F F
F V V
F F V
P Q P → ¬
Q
V V V F F
V F V V V
F V F V F
F F F V V
P Q P→ ¬Q
V V F
V F V
F V V
F F V
Interpretação da tabela:
P → ¬ Q é falsa apenas quando P e Q são verdadeiras.
P → ¬ Q é verdadeira quando P é verdadeira e Q é falsa, quando P é falsa e Q é verdadeira e
quando P
e Q são falsas.
P Q P → ¬Q Q ∴ ¬P
V V
V F
F V
F F
P Q P → ¬Q Q ∴ ¬P
V V F
V F V
F V F
F F V
Passo 2: cálculo de P → ¬Q
P Q P → ¬Q Q ∴ ¬P
V V F F
V F V V
F V V F
F F V V
Passo 3: cálculo de Q
No caso de Q, não são necessários cálculos, bastando copiar os valores de verdade
da proposição simples
P Q P → ¬Q Q ∴ ¬P
V V F F V
V F V V F
F V V F V
F F V V F
Passo 4: cálculo de ¬P
P Q P → ¬Q Q ∴ ¬P
V V F F V F
V F V V F F
F V V F V V
F F V V F F
P Q P → ¬Q Q ∴ ¬P
V V F F V F 1º circunstância
V F V V F F 2º circunstância
F V V F V V 3º circunstância
F F V V F F 4º circunstância
O argumento é válido, pois não existe nenhum caso de premissas todas verdadeiras e conclusão
falsa, ou seja, sempre que as premissas são todas verdadeiras, a conclusão também é
verdadeira.