Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica sentencial - Negação (Conjunção (Nem = e não (^~), e, Mas, Contudo)…
Lógica sentencial - Negação
Negação de disjunção(v)
p v q = ~p ^ ~q
Negação da conjunção(^)
p ^ q = ~p v ~q
Negação de condicional(->)
p -> q = p ^ ~q
Negação de bicondicional(<->)
p <-> q = (p ^ ~q) v (~p ^ q)
Conjunção
Nem = e não (^~)
e
Mas
Contudo
Disjunção
ou
ou, ou (disjunção exclusiva)
Bicondicional
Apenas no caso
se e somente se
Negação
Não
é falso que
não é o caso que
Condicional
Implica
Somente se
se então