1- ESTRUTURA LÓGICA ARGUMENTAÇÃO
SIMBOLOGIA
Conectivos lógicos ou operadores lógicos
Se...então...: ➡ (condicional)
Se somente se: ↔ (bicondicional)
ou: v (disjunção)
Ou... ou... : v (disjunção exclusiva)
e: ^ (conjunção
_
proposições
sentença que diz algo e pode ser V ou F
simples
compostas
somente 1 ideia
2 ou mais ideias
sempre tem conectivo, mesmo q implícito
A vaca voa e 2+3=10
B: r ^ b
Se a vaca voa, então 2+3=10
E: r ➡s
Se r então S
r implica s
posso omitir o então, o se, trocar por logo, consequentemente, quando
o que não é proposição:
Perguntas
exclamações
imperativas
paradoxos
sentenças abertas
frases sem verbo
Ele é jovem (ELE QUEM?)
a expressão x+y é positiva
alguns chamam de disjunção inclusiva
TABELA VERDADE
1º - Descobrir o nº de linhas - 2 elevado a p
p é o número de proposições simples q eu tenho
2º - Descobrir o efeito do conectivo
mas quer dizer e
nem quer dizer e+não
Proposições equivalentes
1- mesmas proposições simples
2- Mesma tabela verdade
Equivalências básicas
Numa condicional, se inverter as duas partes e negar as duas partes, rola uma equivalencia
Se estudo então passo = Se não passo então não estudo
Tb é equivalente se trocar por OU
Se estudo então passo= Não estudo ou passo= Passo ou não estudo
Negação de proposições compostas
Tipo específico de equivalencia
~(P^Q)
~(PvQ)
nega a 1ª e a 2ª
troca e por ou e vice versa
pois terão a mesma tabela verdade
Leis de DeMorgan
~(P➡Q)
MaNe
mantem a 1ª e nega a 2ª
troca se então por e
Bicondicional X Disjunção Exclusiva
Uma é a negação da outra
Mantem as duas proposições, troca o conectivo.
Estudar é condição suficiente pra passar
Passar é condição necessária para estudar
TAUTOLOGIA
CONTRADIÇÃO
CONTINGENCIA
Quando não é Tautologia nem Contradição
Todos os valores lógicos de uma tabela-verdade têm como resultado FALSO
Todos os valores lógicos de uma tabela-verdade têm como resultado VERDADEIRO
Logica de 1ª ordem
Proposições categóricas
TODO é equivalente a NENHUM NÃO
NENHUM é equivalente a TODO NÃO
Negação é ALGUM
ALGUM / ALGUM NÃO tem sinonimos (existe, existe um, pelo menos um)
Negação é ALGUM NÃO
Negação é TODO/ NENHUM
Aqui podemos fazer uma equivalencia de se entao
Todo cearense é brasileiro
Se PH é cearense, então ph é brasileiro