Please enable JavaScript.
Coggle requires JavaScript to display documents.
LINGUAGEM FORMAL - Coggle Diagram
LINGUAGEM FORMAL
Proposições Lógicas
CONJUNÇÃO“ *''e'', símbolo: ˄
mas, tanto como”;
:forbidden:Tanto quanto :forbidden:
Ideia de intercessão("ao mesmo tempo")
-
-
CONDICIONAL “SE…, ENTÃO…” símbolo: → “Quando”; “Como”, "consequência etc."(pode estar implícito) :warning:Aqui as proposições ñ podem trocar de posição. (Ideia de está contido)
BICONDICIONAL“SE, E SOMENTE SE” símbolo: ↔
-
ordem de precedência o mais forte é: 1-bicondicional 2-condicional........... 3-conjunção e disjunção/disjunção exclusiva 4-negação, A não ser que tenha parenteses
-
-