simbolizaçao de sentenças

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!”), imperativas (ex: “você deve respeitar seu semelhante”), interrogativas (ex: “todo metal submetido à alta temperatura dilata?”) não são passíveis de atribuição valorativa (verdade e falsidade).
A lógica proposicional (ou cálculo sentencial) é um sistema formal no qual símbolos (p, q, r, etc.) representam proposições simples (ou atômicas) que são combinadas entre si usando conectivos lógicos (~, v, ^ , etc.). As proposições simples são aquelas compostas de sujeito e predicado e que não podem ser