Exercício

Grupo I

( já realizado nas aulas)

Supondo que P e Q são proposições verdadeiras e que R e S são

proposições falsas, calcula o valor de verdade das expressões seguintes:

1- ¬ (PvR)
2- (¬Q^¬S)
3- Pv (R^S)
4- (PvR)↔(SvQ)
5- (P→Q)↔(Q→¬P)
6- P↔ [ (QvR)→S]
7- ¬{¬[¬(P^¬R)^¬P]→¬R}
8- [P^ (RvS)] v [(P^R)v(P^S) ]

Grupo II
( a realizar-se nas aulas)
Constrói as tabelas de verdade das seguintes expressões:

1-¬[¬(¬P v Q)]

2-[(P→Q) ^P]→Q

3- [(P→Q) ^Q]→P

4- ¬[(P→Q) ^P]→Q

5- P→[(P v Q)→R]
 Grupo III
Para pensar e responder
1. Em que condições é uma conjunção verdadeira?
R: quando ambos os conjuntos são verdadeiros
2. Em que condições é uma disjunção falsa?
R: quando ambos os disjuntos são falsos
3. Em que condições é um bicondicional verdadeiro?
R: quando ambas as proposições são verdadeiras ou ambas falsas
4. Pode um condicional ser verdadeiro se o antecedente for verdadeiro?
R: Sim, desde que o consequente não seja falso
5. Avalie o valor de verdade da afirmação: «Se Salazar está vivo, então é um modesto guerreiro de
Santa Comba Dão».
R: a 1ª proposição é falsa pois Salazar não está vivo. A 2ª proposição é falsa pois Salazar nunca foi
um guerreiro de Santa combadão. A proposição complexa é um condicional do qual ambas as
proposições simples são falsas. Logo, pela tabela da implicação, o condiconal é verdadeiro
6. Pode a proposição PQ ser falsa, sendo PQ verdadeira? Justifique. (Se quiseres, podes
responder comparando as respetivas tabelas.)
R: Não, porque o bicondiconal é verdadeiro quando ambas as proposições são verdadeiras ou ambas
falsas, casos em que o condiconal também é verdadeiro
7. Pode a proposição PQ ser falsa, sendo PQ verdadeira? Justifica. (Se quiseres, podes
responder comparando as respetivas tabelas.)
R: Sim, pois o condiconal é verdadeiro se o antecedente (P) for falso e o consequente (Q) for
verdadeiro. Logo, pela tabela do bicondiconal quando as proposições têm valores e verdade diferentes
o bicondicional é falso
8. Que valor de verdade poderá «P  Q» assumir, sendo «P» verdadeira? Justifique.
Dependerá do valor de verdade de Q, pois sendo P verdadeira P é falsa. Se Q for falsa a disjunção é
falsa, mas se Q for verdadeira a disjunção é verdadeira.
9. Que valor de verdade poderá «P  Q» assumir, sendo «P» falsa? Justifique.
R: sempre verdadeira, porque se P é falsa, P é verdadeira. Logo como para a disjunção ser
verdadeira basta que um dos disjuntos seja verdadeiro, a disjunção é verdadeira.
10. Qual é o erro cometido por Miguel no seguinte diálogo:
Rita: Penso que Pedro é estudante ou actor.
Miguel: Estás enganada! De facto, ele é as duas coisas.
R: Miguel pensou que o “ou” de Rita era exclusivo, pelo que as duas alternativas não podiam nem ser
falsas nem ser verdadeiras ao mesmo tempo. Mas o “ou” pode ser também tomado em sentido
inclusivo, caso em que os dos disjuntos podem ser ambos verdadeiros como na conjunção.
 11. Que valores pode assumir a proposição «PQ», sabendo que «P» é verdadeira? Justifique.
R: Pode assumir os valor de verdadeiro, se Q for verdadeira, e pode assumir o valor de falso, se Q for
falsa.
12. Que valores pode assumir a proposição «PQ», sabendo que «Q» é falsa? Justifique.
R: Se Q é falsa ¬Q é sempre verdadeira. Logo pela tabela do condicional quando o consequente é
verdadeiro, a condiconal é sempre verdadeira
13. Se P é uma proposição tal que, para qualquer proposição Q, a proposição complexa (PvQ) é
sempre verdadeira, o que é que se pode dizer do valor de verdade de P?
R: P é verdadeira, porque é o único valor de verdade que torna a disjunção verdadeira
independentemente de Q ser verdadeira ou falsa.
14. Se a proposição complexa (P↔Q) é verdadeira, o que é que se pode dizer acerca do valor de
verdade da proposição complexa (Pv¬Q)?
R: como o bicondicional é verdadeiro quando as proposições são ambas falsas ou ambas verdadeiras,
segue-se que a disjunção é sempre verdadeira já que um dos disjunto será sempre verdadeiro.
15. Determine se as duas proposições seguintes são equivalentes: (¬P↔Q) e (Q˄¬P)v(P˄¬Q)

R:Como a conectiva do bicondiconal corresponde a uma equivalência, basta fazer uma tabela com ambas
as proposições complexas mediadas pela conectiva do bicondiconal e verificar se ela assume sempre o
valor de verdade “verdadeiro”, caso em que as duas proposições são equivalentes
P Q (¬P↔Q) ↔ [(Q˄¬P)v(P˄¬Q)]
V V F V f F f
V F V V f V v
F V V V v V f
F F F V f F f
Pela tabela verifica-se que as duas expressões são equivalentes