Please enable JavaScript.
Coggle requires JavaScript to display documents.
Proposições Lógicas (:star: Conectivos (Conjunção (E (Tudo é V)),…
Proposições Lógicas
:star: Conectivos
Conjunção
E
Tudo é V
Disjunção inclusiva
Ou
Pelo menos um V
Disjunção exclusiva
Ou, ou
Se uma é V exclui possibilidade da outra (VF/FV)
Condicional
Se, então
Vera Fischer é falso
Bicondicional
Se e somente se
Simultaneidade (VV/FF)
:forbidden: Negação
Simples
Todo ----- Algum não
Algum ----- Nenhum
Composta
p e q
Nega + troca por
ou
~p ou ~q
p ou q
Nega + troca por
e
~p e ~q
p → q
MaNé
p e ~q
p se, e somente se, q
Bicondicional - exclusiva
Ou p, ou q
ou p, ou q
Exclusiva - bicondicional
P se, e somente se, q
:check: Tabela-verdade :green_cross:
:red_flag:Equivalência
~q → ~p
~p ou q
Se p, então
q
E
se q, então p
P se, e somente se, q
Ou p, ou q
P, se e somente se, ~q
~P, se e somente se, q
p → q
Tautologia, contradição e contingência
