LÓGICASIMBÓLICA
Conjunção  Uma conjunção       p   q   p∧ qsó será verdadeira,                      V   V   V quando ambas as    partes qu...
Disjunção                    p   q   pvq  Uma disjunção                    V   V   V  inclusiva será falsa quando as    V ...
Disjunção                    p   q   pwqE uma disjunção                    V   V   F  exclusiva será falsa quando as    V ...
Condicional                      p   q   p→q Só será falsa esta                      V   V   Vestrutura quandohouver a con...
Bicondicional                    p   q   p↔q Será verdadeira                    V   V   V      quando   antecedente e    V...
Tautologia             Se Pedro estuda,                           então será aprovado.       Enunciadostautológicos são aq...
Contradição              Aterra é um                             planeta.                                  pOs enunciados ...
Pensando bem!
Atividade                        “Sobre o que não                          se pode falar,FAZER ATIVIDADE   DO LIVRO:     ...
Próximos SlideShares
Carregando em…5
×

Lógica Simbólica

11.305 visualizações

Publicada em

0 comentários
1 gostou
Estatísticas
Notas
  • Seja o primeiro a comentar

Sem downloads
Visualizações
Visualizações totais
11.305
No SlideShare
0
A partir de incorporações
0
Número de incorporações
336
Ações
Compartilhamentos
0
Downloads
100
Comentários
0
Gostaram
1
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Lógica Simbólica

  1. 1. LÓGICASIMBÓLICA
  2. 2. Conjunção Uma conjunção p q p∧ qsó será verdadeira, V V V quando ambas as partes que a V F F compõe tambémforem verdadeiras. F V FE falsa nos demais F F F casos.
  3. 3. Disjunção p q pvq Uma disjunção V V V inclusiva será falsa quando as V F Vduas partes que a F V V compõe forem ambas falsas! F F F
  4. 4. Disjunção p q pwqE uma disjunção V V F exclusiva será falsa quando as V F Vduas partes que a compõe forem F V V ambas iguais! F F F
  5. 5. Condicional p q p→q Só será falsa esta V V Vestrutura quandohouver a condição V F F suficiente, mas o resultado F V V necessário não se F F V confirmar.
  6. 6. Bicondicional p q p↔q Será verdadeira V V V quando antecedente e V F Fconsequente forem ambos F V F verdadeiros, ou F F V quando forem ambos falsos.
  7. 7. Tautologia Se Pedro estuda, então será aprovado. Enunciadostautológicos são aqueles (p → q)enunciados que sempre Pedro não foi resultam verdadeiros, aprovado. portanto, o argumento (~q) é um argumento Então, Pedro não válido. estudou. (~p) [(p → q).~q] →~p
  8. 8. Contradição Aterra é um planeta. pOs enunciados cuja A Terra não é um característica são planeta.aqueles enunciados (~p)que sempre resultam em falsidade. p ~p p v ~p V F F F V F
  9. 9. Pensando bem!
  10. 10. Atividade “Sobre o que não se pode falar,FAZER ATIVIDADE DO LIVRO: deve-se calar.” PÁGINA 148 Ludwig 1º; 3º; 4º; 5º e 6º. Wittgenstein

×