pericia forense

Resposta Exercício 01
A) p ^ q
B) p ^ ¬q
C) ¬(¬p ˅ q)
D) ¬p ^ ¬q
E) ¬ ( p ˅ ¬q)
Resposta Exercício 02
A) ¬ p ^ q
B) ¬ p ^ ¬q
C) P ˅ ¬q
D) ¬p˅p ^¬ q

prioridade nome símbolo usual
1º
negação
¬
2º conjunção ∧
3º
disjunção
∨
4º condicional →
5º
bicondicional
↔
Em complemento ainda na resolução de exercícios, quando a fórmula usar parênteses, colchetes e chaves, as proposições ou sub-fórmulas que estiverem dentro desses símbolos devem ser resolvidas primeiro. Esses símbolos também têm uma ordem de precedência: 1º parênteses (); 2º colchetes []; 3º chaves {}. lembro ainda que na lógica temos os seguintes conectivos:
“... e ...” (conjunção)
“... ou ...” (disjunção) “é verdade que ...” (afirmação) “não é verdade que ...” (negação) “se ... então ...” (condicional)
“... se e somente se ...” (bicondicional)

“... e ...” (conjunção)
“... ou ...” (disjunção) “é verdade que ...” (afirmação) “não é verdade que ...” (negação) “se ... então ...” (condicional)
“... se e somente se ...” (bicondicional)
Podemos utilizar letras minúsculas, eventualmente indexadas, e cinco operações, ou conectivos, para expressar as ideias que podem ser tratadas pela Lógica Proposicional, como mostrado na tabela a seguir.

nome símbolo usual tipo outros símbolos leitura negação
¬
unário
“-”, “~”, not, não não ... conjunção ∧ binário “&”, “.”, and, e
... e ... disjunção ∨ binário “|”, or, ou
... ou ... condicional → binário “⊃” se .... então ... bicondicional ↔ binário “≡” se e somente se

Exercício 04
A) ¬p ^q = F
3+2 =5 e não 7, portanto ¬p e ^ 4+4=8 Verdadeiro q, então, Resulta VERDADEIRO se ambas as partes são verdadeiras e neste caso não são. Então é Falso.
B) P ^ q= V Resulta VERDADEIRO se ambas as partes são verdadeiras e neste caso elas são, portanto Verdadeiro.
C) ¬p ˅ q = V A primeira é falsa e a segunda verdadeira, só que é OU.
Resulta VERDADEIRO
Adição lógica OU se