Please enable JavaScript.
Coggle requires JavaScript to display documents.
14/04 1 ESTRUTURAS LÓGICAS (CONECTIVOS ("e", "ou",…
14/04 1
ESTRUTURAS LÓGICAS
PROPOSIÇÕES
Não são proposições
Paradoxal
Sentença aberta
Sem verbo
Imperativa
Exclamativa
Interrogativa
Optativas (desejo)
IDEIAS
Compostas
Simples
CONECTIVOS
"e"
"ou"
"se...então..."
"se somente se"
"ou..ou..."
Princípios Básicos
Deve Ter
Verbo (Pode implícito)
Sentido completo (Significado)
V ou F
Valor lógico
Identidade
- V é V e F é F (Sempre)
Terceiro Excluído
- V ou F (sem outra possibilid.)
Não contradição
- Não pode V e F ao mesmo tempo
Negação
Negar o verbo
x + 5 = 10
Se valor x
"Ele é legal"
Se João
SEM CONECTIVO
Universais e Existenciais não contam
Apenas 1 VERBO
Na dúvida, nega a sentença
∧
∨
→
↔
:red_cross:
A: xxxx
V(A) = V ou V(A)=F
Liga proposições
Conjunção
Disj. Inclusiva
Disj. Exclusiva
Condicional
Bicondicional
Não
¬ ~
Tabela verdade NÃO
:check:
:check:
"Esta frase é falsa"
"Queremos pintar o telhado"
"mas"
Negação - Conectivo
:warning:
:warning:
:warning:
