Please enable JavaScript.
Coggle requires JavaScript to display documents.
PROPOSIÇÃO: UNIDADE DA LÓGICA - Coggle Diagram
PROPOSIÇÃO: UNIDADE DA LÓGICA
proposição
unidade lógica
sentença declarativa
proposição
conetúdo
sentença
declarativa
pode
julgado
1 more item...
3 princípios
identidade
toda
proposição
igual
si mesma
se P verdadeira
P verdadeira
n contradição
nenhuma
propsoição
verdadeira/falsa
simultaneamente
terceiro excluído
toda
proposição
verdadeira/falsa
n há
terceira
possibildiade
semântica
formal
ramo
lingu´sitica
usa
instrumental
descreve
=ideia
1 more item...
conhecer
condições
verdade
mesmo
sem
saber
1 more item...
n proposição
interrogativas
você já votou?
exclamativas
Que dia lindo!
imperativas
Feche a porta.
opnativas
Viva o Brasil
sentenças
abertas
ele foi aprovado
sem
saber
quem
ele
x+2=5
paradoxos
autorreferentes
Esta frase é falsa
tipos
simples/atômica
única
afimação
n contém
proposição
parte
compsota/molecular
formada
2+
proposições
ligdas
conectivos
conectivos
símbolos
negação
¬P/~P
não P
não choveu
conjunção
P^Q
P e Q
dijunção
inclusiva
PVQ
P ou Q
exclusiva
P ⊻ Q
ou P ou Q
condicional
P → Q
se P, então Q
bidirecional
P ↔ Q
P se e somente se Q
parênteses
indicam
ligação
(P^Q)→ R
P ∧ (Q → R)
operações
negação
~~P
P
Não é verdade que ele não veio
Ele veio
antônimo
n conta
sometne
negação
lógica
"triste"
1 more item...
inverte
valor
lógico
B é V
~B é F
conjunção
P^Q
verdadeira
somente
verdadeira
ambas
falsa
basta
1 falsa
expressa
e
também
além disso
vírgula
mas
porém
contudo
nem
sem
ignora
ordem
temporal
disjunção
inclusiva
PvQ
verdadeira
mínimo
1 verdadeira
falsa
somente
todas
falsas
exclusiva
P ⊻ Q
verdadeira
quando
exatamente
1 das partes
1 more item...
condicional
A-->B
parte
antecedente (A)
consequnete (B)
valor
falsa
antecedente
verdadeiro
consequente
1 more item...
verdadeira
demais
casos
2 relações
A
condição
sufiente
B
1 more item...
B
condição
necessária
A
2 more items...
contexto
também
expressões
sentido
condição
desde que
1 more item...
bicondicional
A ↔ B
verddeira
quando
2 partes
=valor
lógico
1 more item...
expressão
A se e somente se B, A se e só se B, A é condição necessária e suficiente para B
equivale
2 condicionais
simultâneas
(A → B) ∧ (B → A)
cálculo
tabela verdade
linhas
2^n
n
número
proposiçaõ
2
F
V
causa
porque, como, ja´que
n são
verofuncionais
Newton-Smith
fator
n verofuncional
mas
frase
contém
2 afirmações
conta
classificaçaõ
1 more item...
proposições
composta
=valor
todas
linhas
tautologia
verdadeiro
todas
1 more item...
qualquer
1 more item...
Pv~P
chove ou não chove
sempre
verdadeira
1 more item...
contradição
falsa
todas
1 more item...
contingência
verdeira
algumas
1 more item...
flasas
outras
maioria
proposiçõs
equivalência e negções
equivalentes
A ≡ B
mesmo
valor
lógico
todas
linahs
tabela-verdade
podem
substituir
uma
outra
sem
mudar
1 more item...
+importante
contrapositiva
A-->B
equivale
~B-->~A
n equivalente
recíproca
troca
ordem
sem
negar
1 more item...
inversa
nega
sem
trocar
ordem
leis de morgan
como
negar
conjunções/disjunções
¬(A ∧ B) ≡ ¬A ∨ ¬B:
negar
duas
1 more item...
¬(A ∨ B) ≡ ¬A ∧ ¬B
negar
mínimo
1 more item...
negação condicional
¬(A → B) ≡ A ^ ¬B
negação
torna
condicional
conjuntiva
Se estudo, passo é dizer Estudo e não passo
outras
e
A^B
~Av~B
ou
AvB
~A^~B
condicional
A-->B
A^~B
bidirecional
A ↔ B
A ⊻ B
ou...ou
A ⊻ B
A ↔ B
quantificadores
todo/algum/nenhum
4 tipos
proposição categórica
ligam
sujeito (S)
predicato (P)
inclui
A
universal afirmativa
TOdo S é P
∀x (S(x) → P(x))
1 more item...
E
universal negativa
nenhum S é P
∀x (S(x) → ¬P(x))
1 more item...
I
particular afirmativa
algum S é P
∃x (S(x) ∧ P(x))
1 more item...
O
particular negativa
algum S não é P
∃x (S(x) ∧ ¬P(x))
1 more item...
símbolos
∀
para todo
∃
existe
mínimo
1
semântica
formal
descreve
quantificadores
1 more item...
3 observações
algum
pelo menos um
algum aluno passou
continua
1 more item...
todo
esconde
condicional
Todo médico estudo biologia
1 more item...
armadilhas
condicional
recíproca
inversa
reaparecem
1 more item...
a maioria
n qualificador
universal
a maioria dos atletas treina
1 more item...
cuidado
só/apenas
só sócio votam
n é
todo sócio vota
todo eleitor é sócio
vota
dentro
1 more item...
negar
proposição
quantificada
regra
troque
quantificador
negue
vem
depois
exemplo
¬∀x P(x) ≡ ∃x ¬P(x):
negaçaõ
Todo aluno passou
1 more item...
¬∃x P(x) ≡ ∀x ¬P(x)
negação
algum aluno passou
1 more item...
quadro
oposição
proposições
cantos
opostos
1 more item...
diagramas de conjuntos
Euler/Venn
representam
proposições
categóricas
círculos
mostra
obrigatório
apenas
possível
T
dentro
P
P
toca
I
posiçaõ
T
relaçaõ
1 more item...
Todos os sócios pagam a anuidade. Alguns pagantes participam do coral. Daí não se conclui que
algum sócio canta no coral: os pagantes do coral podem ser todos não sócios.
inferência
quantificadores
universal
caso particular
todo S ´P
x é S
logo
x ´P
Todos os
homens são mortais; Sócrates é homem; logo, Sócrates é mortal
universal
combinado
existencial
todo S é P
algum S é Q
logo
algum P é Q
1 more item...
armadilha
falsas
concluir
ausência
sujeito
Todo S é P; x não é S; logo, x não é P
X
1 more item...
presença
predicado
Todo S é P
x é P
1 more item...
argumento
conjunto
proposições
uma
conclusão
apresentada
apoaida
premissas
encontrada
indicadores
conclusão
logo
portanto
por isso
premissa
pois
porque
já que
n precisa
vir
fim
pois
1 more item...
validade/verdade/solidez
argumento
válido
quando
impossível
premissas
sejam
verdadeiras
conclusão
falsa
validade
depende
forma
argumento
não
asusnto
verdade
1 more item...
propriedade
argumentos
verdade
propredade
proposições
solidez/correção
argumento
válido
premissas
verdadeiras
único
garante
verdade
conclusão
premissas
todas
verdadeiras
conclusão
verdadeira
válido
sim
falsa
válido
nunca
alguma
falsa
conclusão
verdadeira
válido
sim
falsa
válido
sim
Todo peixe é mamífero. Todo mamífero voa. Logo, todo peixe voa
1 more item...
entema
cotidiano
comum
implícitas
ele é médico; logo, estudou anatomia
deixa
subentendida
1 more item...
argumento
premissa
omitida
avaliar
validade
reconstrói-se
premissa
item
pede
1 more item...
raciocínio
dedução
necessária
verdadeiras
premissas
conclusão
n pode
falsa
funciona
regra
geral
forma
válidad
avaliação
válido
inválido
indução/abdução
ampliativas
conclusão
além
premissas
ocntêm
pode
falsa
mesmo
premissas
1 more item...
indução
generaliza
a partir
casos
observados
3 more items...
avaliação
forte
fraco
n garante
conclusão
avaliada
graus
+forte
2 more items...
abdução
funciona
escolhe
melhor
explicação
fato
3 more items...
avaliaçaõ
plusível
n plausível
doferemã
sistemta
conclu~so
indução
frequência
abdução
explicação
analogia
transfere
propriedade
entre
casos
parecidos
Este remédio funcionou
no meu irmão; deve
funcionar em mim
avaliaçaõ
forte
fraca
acarretamento
semântica formal
relaçaõ
sentenças
correspodne
validade
A acarreta B
sempre A é V
B também V
mas
inverso
n vale
teste
´rpcire
sotia~]pes
1a sentença
verdadeora
2a sentença
falsa
quantificadores
"Todo homem é uma parte da terra firme" e "Alec Marantz é homem"
acarretam
juntas
"Alec Marantz é uma parte da terra firme"
diferente
pressuposiçaõ
A pressupõe B
B
precisa
verdadeiro
A
2 more items...
João parou de fumar
pressupõe
João fumava
negação
João não parou de fumar
1 more item...
regras
inferência/falácias
válidas
modus
ponens
A-->B
logo
B
tollens
A-->B
~B
logo
~A
inferência
inválida
afirmação
consequente
Se chove, a rua fica molhada
1 more item...
negação
antecedente
A-->B
1 more item...
silogismo
hipotético
A-->B
B-->C
logo
A-->C
dijuntivo
A v B
~B
logo
B
funciona
nega
1 alternativas
afirmar
alternativa
negar
1 more item...
simplificação
A^B
logo
A
conjunção
A; B
logo
A^B
Estudou. Trabalhou.
logo
1 more item...
adição
A
logo
AvB
Estudou
logo
1 more item...
dilema
construtivo
A-->C
B-->D
A v B
logo
1 more item...
cadeias de condicionais
vários
argumentos
ligam
condicionais
sequência
consequente
1 more item...
método
testar/completar
premissa
torna
argumento
válido
conclusão
consequente
1 more item...
chegam
até
R
conclusão
L
1 more item...
se
nega
antecedente
afirma
consequente
1 more item...
falácias formais
falácia
erro
raciocínio
costuma
parecer
certo
formulação
clássica
Walton
argumento
parece
correto
n é
1 more item...
argumento
apelativa
substituídos
emoção
popularidade
autoridade
ignorância
consequência
de relevância
apelos
ataque
pessoa
ad hominem
apelo
autoridade
popularidade
ad populum
aceita
conclusão
1 more item...
emoção/piedade
adesão
compaixão
esforço
sentimento
ignorância
conclui
algo
verdadeiro
1 more item...
consequência
defende/rejeita
tese
efeitos
1 more item...
desvio de foco
muda
assunto
escapar
1 more item...
espantalho
ladeira escorregadia
rejeita
medida
alegando
1 more item...
conslusões
fortes
bases
fracas
generalização apressada
conclui
algo
1 more item...
falsa analogia
transfere
conclusão
1 more item...
falsa causa
toma
causa
1 more item...
pressuposição/ambiguidade
petição de princípio
raciocínio circular
conclusão
já
premissas
outras
1 more item...
pergunta
complexa
pressupõe
algo
n admitido
falso dilema
apresenta
só
2 opções
outras
zz
1 more item...