Please enable JavaScript.
Coggle requires JavaScript to display documents.
Operadores lógicos (Condicional "se...então" (Falsa (Vera…
Operadores lógicos
Condicional "se...então"
"se p então q"
Falsa
V
era
F
isher
Se
chove
então
vou à escola.
Quando
chove, vou à escola.
Toda vez que
chove, vou à escola.
p É SUFICIENTE PARA q
q É NECESSÁRIO PARA p
Negação
p E ˜q
Equivalências
Se p então q
SE ˜q ENTÃO ~p
˜p OU q
Penso, logo existo
Equivale
Não penso ou existo
Bicondicional "se e somente se"
"p se e somente se q"
Verdadeira
Proposições iguais
V V
F F
Chove
se e somente se
vou à escola.
p É NECESSÁRIA E SUFICIENTE PARA q
Negação
OU p OU q
Negar uma proposição
~p se e somente se q
Conjunção "e"
"p e q"
Verdadeira
Todas forem verdadeiras
Chove
e
vou à escola
Chove,
MAS
vou à escola
Negação
não p ou não q
Disjunção "ou"
"p ou q"
Chove
ou
vou à escola.
Verdadeira
Pelo menos uma é verdadeira
Negação
não p e não q
Disjunção Exclusiva "ou..ou"
"ou p ou q"
Verdadeira
Somente uma é verdadeira
Ou
chove
ou
vou à escola.
Chove
, OU
vou à escola.
Chove ou vou à escola,
mas não ambos.
Negação
p se e somente se q
2
