Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica de Preposição (Condicional (Implicação, p -> q, "se ...,…
Lógica de Preposição
Condicional
Implicação
p -> q
"se ..., então ..."
Condição - Consequência
Se "p" for V obriga "q" ser V também
Importante - "Alternativas de se expressar"
Conectivo "mas"- idéia conjunção "e"
Ex: Chove MAS vou à escola (conjunção "e"
Conectivo "OU" precedido por vírgula - ideia de "OU EXCLUSIVO" - Disjunção exclusiva
Ex: Apenas 1 coisa acontece (ou chove ou vou à escola)
Condicional utilizando "Quando..." ou "Toda vez que ..."
Quando chove, vou à escola
Toda vez que chove, vou à escola
Uso do "... ou ... mas não ambos" - Disjunção Exclusiva
Ex.: Jogo bola ou corro, mas não ambos
Disjunção comum, porém exclui o caso
Jogo bola (V)
Corro (V)
Negação de Proposições Simples
~p ou não p
são opostos - se "p" for V então ~p é falso e vice-versa
Para descobrir a negação, se perguntar
O que é o mínimo que eu precisaria fazer para provar que essa frase é mentira?
Se for capaz de desmenti-la, será capaz de negá-la
~(~p) - Negação da Negação = Verdade
Bi-condicional
"se e somente se"
"p <-> q"
Necessariamente as duas coisas acontecem juntas ou então nenhuma
Ex: chove amanhã se e somente se ou vou à escola
Conjunção (e)
Combinação de Proposição
p^q
As DUAS proposições acontecem
Disjunção
Um ou outro ou os 2
p v q
Pelo menos um acontece (ou ambos)
Disjunção Exclusivo
Ou um ou outro, apenas
Se 1 V outra F
Ou P ou -p+q ou p
v
q
Sentenças fechadas
Verdadeiras
Falsas
Princípio da identidade
Princípio da não-contradição
Princípio da exclusão do terceiro termo