Please enable JavaScript.
Coggle requires JavaScript to display documents.
Proposições Lógicas (:microscope: (Sinônimos (A, a não ser que B (¬ (B) (…
Proposições Lógicas
:microscope:
:check:
Oração declarativa
com
valor lógico
:no_entry:
Perguntas
Exclamações
Ordens
Paradoxos
Ex: Essa frase é mentira
Elementos Abertos/Indeterminados
Ele...
x, y, z...
Algum...
Sinônimos
A
, a não ser que
B
¬ (B)
:question:
¬ B :arrow_right: A
...não é verdade que
X
¬ (X)
,
e
Como
(Se) A...
, Se
B..., C.
Se A /\ B, Então C
B, Já que (Pois) A
Se A, então B
B
, dado que
A
A :arrow_right: B
, Ou
\/
A e B,
SIMULTANEAMENTE
A
/\
B
:performing_arts:
Simples
:ballot_box_with_check:
Or. Sub. Adjetiva Restritiva
Causa Consequência
:red_cross:
Conectivos
Função Semântica :recycle:
Sujeito Composto :warning:
Enumeração
:green_cross: Verbos
Unidade semântica
:check: Substituição lexical
Compostas
:ballot_box_with_check:
Sujeito Composto :warning:
:frame_with_picture:
Distribuições
Tabela
:id:
Princípios
Não-contradição
Exclusão do 3º termo
Número de Linhas :question: