Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA SETENCIAL (Sinônimos (...a não ser que X (¬ (x)), ...não é verdade…
LÓGICA SETENCIAL
Sinônimos
...a não ser que
X
¬ (x)
...não é verdade que
X
¬ (X)
Equivalência
Proposição
Condicional
A :arrow_right: B
:one: Voltar negando
Cruza e Nega!
Caso compare Se... e Se...
×B :arrow_right: ×A
Continua
SE, ENTÃO
:two: Passar a mesma ideia
ex.
Quando, então
Se, então
Quando, ...
Como, então
Como, ...
Enquanto..., ...
Conjunções
Explicativas Antepostas ao Verbo :recycle:
SE
Conclusivas :recycle:
ENTÃO
:three: Dupla Negação
NE
\/
MAR
1 º negação
= A /\ ×B
2 º Negação
= ×A \/ B
Vira
\/
:four: Elementos Coesivos
:five:
:warning: Nega as duas proposições
e
Compara negações
P1:
A :arrow_right: B
P2:
B :arrow_right: C
C:
A :arrow_right: C
Bicondicional
A :left_right_arrow: B
:recycle:
(A :arrow_right: B) /\ (B :arrow_right: A)
Flexível com sucessivas equivalências
A /\ B :arrow_right: A \/ B
Disjunção Exclusiva
v P v Q
(p :arrow_right: ~q) /\ (~p :arrow_right: q)
Quando negar algo
Quer Negação
Negação
Proposição
Conjunção
A /\ B
:saxophone:
:two:
MA (MANTÉM)
E
NE (NEGA)
A :arrow_right: ×B
NEGAÇÃO EQUIVALENTE
/\ :left_right_arrow: :arrow_right:
Invertido
:one:
Morgan
×A \/ ×B
Condicional
A :arrow_right: B
:one:
MA (MANTÉM) :!:
E
:!: NE (NEGA)
A /\ ~B
Disjunção Exclusiva
Bicondicional
Mantendo a ordem :warning:
Tautologia
:silhouettes:
(¬A \/ B) :left_right_arrow: ( A :arrow_right: B)
(P ∧ Q) :arrow_right: (P v Q)
#
(P :arrow_right: Q) :left_right_arrow: (¬Q :arrow_right: ¬P)
A /\ (B \/ C) :left_right_arrow: ( A /\ B) \/ (A /\ C)
Fator Comum em Evidência