simbolizaçao de sentenças

2337 palavras 10 páginas
ENADE 2005 e 2008
Nas opções abaixo, „‟ representa o condicional material (se...então...), „v‟ representa a disjunção (ou um, ou outro, ou ambos) e „~‟ representa a negação (não). Com o auxílio de tabelas veritativas, examine a seguinte fórmula: „(p  q) v (~ q v p)‟ e, a seguir, assinale a opção correta.
A A fórmula é uma contingência, e „~ q v p‟ só é falsa na 3.ª linha, de cima para baixo.
B A fórmula é uma tautologia, e „p  q‟ só é falsa na 2.ª linha, de cima para baixo.
C A fórmula é uma disjunção tautológica cujos membros são ambos tautológicos.
D A fórmula é uma contradição.
E A fórmula é mal formada.
Considere que “¬”, “∧” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”) e condicional material (“se..., então...”) e que “p” e “q” são variáveis proposicionais. Ao se empregar os procedimentos das tabelas veritativas e, em seguida, do cálculo proposicional, pode-se concluir que a fórmula “(p
→ q) v ¬(p ∧ ¬ q)”.
I é uma contingência.
II é uma contradição.
III é uma tautologia.

LÓGICA PROPOSICIONAL
A lógica proposicional clássica é um dos exemplos mais simples de lógica formal. O cálculo proposicional só é possível de ser elaborado partindo de proposições declarativas, pois são as únicas a que se pode atribuir verdade e falsidade (ex: “a engenharia é a ciência que estuda a construção de obras de grande porte”; “todo metal submetido à alta temperatura dilata”, etc.). Proposições exclamativas (ex: “que lindo
dia!”),

Relacionados

  • Modelo de sentença de adoção
    1185 palavras | 5 páginas
  • Homologação de sentença estrangeira
    1041 palavras | 5 páginas
  • modelo sentença trafico de drogas
    3702 palavras | 15 páginas
  • aditamento carta de sentença
    456 palavras | 2 páginas
  • CUMPRIMENTO DE SENTENÇA
    1643 palavras | 7 páginas
  • ied sentenca de transito
    14401 palavras | 58 páginas
  • Questão sobre cumprimento de sentença
    933 palavras | 4 páginas
  • Impugnação Cumprimento de Sentença
    3402 palavras | 14 páginas