Please enable JavaScript.
Coggle requires JavaScript to display documents.
PROPOSIÇÃO (composta Tabela-verdade (condicional: p -> q (equivalentes,…
PROPOSIÇÃO
oração
declarativa
admite valor lógico
V
F
exceções
interrogações
ordens
exclamações
negação
mínimo que contradiz
(Nenhum) Algum cão tem 5 patas.
(Algum/Pelo menos um/Existe...não)Todos os gatos miam.
(Não) Estou com frio.
composta
Tabela-verdade
condicional: p -> q
implicação
negação: p ^ ~q
equivalentes
~p v q
~q -> ~p (contrapositiva)
inversa: ~p -> ~q
recíproca: q -> q
p é sufic. a q e q é nec. a p
bicondicional: p <-> q
simultaneidade
negação: p <-> ~q/ ~p <-> q/ ou p ou q
equivalente:
(p -> q) ^ (q -> p)
p é nec. e sufic. p/ q e vice-versa
disjunção simples: p v q
ao menos um
negação: ~p ^ ~q
conjunção: p^q
verdade
negação: ~p v ~q
tipos
contradição
sempre F
contingência
às vezes V, às vezes F
tautologia
sempre V
disjunção exclusiva: ou p ou q
negação: p <-> q
exclusão
princípios
exclusão do 3º termo
só V ou F
não contradição
ou V ou F