Please enable JavaScript.
Coggle requires JavaScript to display documents.
1- ESTRUTURA LÓGICA ARGUMENTAÇÃO - Coggle Diagram
1- ESTRUTURA LÓGICA ARGUMENTAÇÃO
SIMBOLOGIA
Conectivos lógicos ou operadores lógicos
Se...então...: :arrow_right: (condicional)
posso omitir o
então
, o
se
, trocar por
logo
,
consequentemente
,
quando
Se somente se: :left_right_arrow: (bicondicional)
ou: v (disjunção)
alguns chamam de
disjunção inclusiva
Ou... ou... : v (disjunção exclusiva)
_
e: ^ (conjunção
mas
quer dizer
e
nem
quer dizer e+não
proposições
sentença que diz algo e pode ser V ou F
o que não é proposição:
Perguntas
exclamações
imperativas
paradoxos
sentenças abertas
Ele é jovem (ELE QUEM?)
a expressão x+y é positiva
frases sem verbo
simples
somente 1 ideia
compostas
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 :arrow_right:s
Se r então S
r implica s
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
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
Estudar é
condição suficiente
pra passar
Passar é
condição necessária
para estudar
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)
nega a 1ª e a 2ª
troca
e
por
ou
e vice versa
~(PvQ)
pois terão a mesma tabela verdade
~(P:arrow_right: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.
Leis de DeMorgan
TAUTOLOGIA
Todos os valores lógicos de uma tabela-verdade têm como resultado VERDADEIRO
CONTRADIÇÃO
Todos os valores lógicos de uma tabela-verdade têm como resultado FALSO
CONTINGENCIA
Quando não é Tautologia nem Contradição
Logica de 1ª ordem
Proposições categóricas
TODO é equivalente a NENHUM NÃO
Negação é ALGUM NÃO
Aqui podemos fazer uma equivalencia de
se entao
Todo cearense é brasileiro
Se PH é cearense, então ph é brasileiro
NENHUM é equivalente a TODO NÃO
Negação é ALGUM
ALGUM / ALGUM NÃO tem sinonimos (existe, existe um, pelo menos um)
Negação é TODO/ NENHUM