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

  • Libras
    1276 palavras | 6 páginas
  • Banco de Questões de Raciocínio Lógico
    14726 palavras | 59 páginas
  • Raciocionio Logico
    8795 palavras | 36 páginas
  • Teste 1234
    2034 palavras | 9 páginas
  • Lógica matemática
    2577 palavras | 11 páginas
  • vivencia cristã
    2591 palavras | 11 páginas
  • Decisão do conselho de sentença no tribunal do juri e o in dubio pro reo
    1412 palavras | 6 páginas
  • A construção de sentido dos elementos simbólicos presentes na obra alice no país das maravilhas
    2717 palavras | 11 páginas
  • process
    1643 palavras | 7 páginas
  • RESPOSTA DO LIVRO 01 TEOLOGIA CONFESSIONAL
    2196 palavras | 9 páginas