UNIVERSIDADE SAVE

Resolução de exercícios

Licenciatura em informática

Isac Jossefa Matusse

Nélio Cândido Langa

Chongoene

2020
Pag:26

1.a) João é magro ou Maria não é brasileira.

Proposições: p: João é magro q: Maria não é brasileira

 pv¬q

d) Ou Maria irá ao cinema e João não, ou Maria não irá e João irá

Proposições:

p: Maria irá ao cinema;

q: João não;

r: Maria não irá;

s: João irá.

 (p∧¬q)Ṽ(¬r ∨ s)

f) Se i > j, então ( i − 1 ) ≥ j se não j = 3.

Proposições:

p: i > j;

q: ( i − 1 ) ≥ j;

r: j = 3.

 (p →q)¬r

Pag:27
2) Sejam as proposições p: está frio e q: está chovendo. Escrever em linguagem
natural as seguintes proposições:

e) p → ¬ q
 Se esta frio entao não esta chovendo

h) p ↔ ¬ q

 Esta frio se e somente se não esta chovendo.

3) Determinar V ( p ) e V ( q ) em cada um dos seguintes casos, indicando quando

não for possível:

a) V ( p → q ) = V e V ( p ∧ q ) = F

Resolução:

Vamos se por que V ( p → q ) = V é (1) e V ( p ∧ q ) = F é (2)

Para (2): V ( p ∧ q ) = F temos conjunção é verdadeiro quando ambos forem

verdadeiro logo: V ( p ) = F e V ( q ) = V.

Para (1): V ( p → q ) = V temos implicação é falsa quando o consequente

for verdadeiro e o antecedente for falso logo V ( p ) = F e V ( q ) = V.

 Isto é: V ( p ) = F e V ( q ) = V.

d) V ( p ↔ q ) = F e V ( p ∧ q ) = V

Resolução:

Vamos se por que: V ( p ↔ q ) = F é (1) e V ( p ∧ q ) = V é (2)

Para (2): V ( p ∧ q ) = V temos conjunção é verdadeiro quando ambos
forem verdadeiro logo: V ( p ) = V e V ( q ) = V.
Para (1): V ( p ↔ q ) = F temos equivalência é verdadeiro quando ambos
terem o mesmo valor lógico logo: não é possível porque temos o mesmo valor
lógico para a equivalência a proposição o seu valor lógico deveria ser verdadeiro.
  V ( p ↔ q ) = F e V ( p ∧ q ) = V não è possível.

4) Para quais valores lógicos de p e q se tem V ( p ∧ q ) = V ( p → q )?

 V(p∧q)=V(p→q)
V ( p ∧ q ) = V ( ¬ p ∨ q ) logo: V ( p ) = V e V ( q ) = V. Isto è:
V ( V ∧ V) = V ( F v V)
V = V são os valores lógicos porque na disjunção V è o elemento
absorvente.

5) Se V ( p ) = V ( q ) = V e V ( r ) = V ( s ) = F, determine os valores
lógicos das seguintes proposições:

a) ¬ p ∨ r

 V (¬ p ∨ r) já sabemos que V(p) = V e V(r) = F

Logo: V( F v F ) = F

e) ( p ↔ q ) ∨ ( q → ¬ p )

 V [( p ↔ q ) ∨ ( q → ¬ p )] Já sabemos que V(p) = V e V(q) = V

Logo [( V) v ( V )] = V.

g) ¬ ¬ [ ¬ q ∧ (p ∧ ¬ s )] pela segunda lei de Morgan: dupla negação è aceitar

logo: [ ¬ q ∧ (p ∧ ¬ s )]

 V[ ¬ q ∧ (p ∧ ¬ s )] já sabemos que V ( p ) = V ( q ) = V e V ( s ) = F
V[ F ∧ ( V ∧ V )]
V[ F ∧ (V)] = F
 Pag:28

6) Determine os valores lógicos das proposições a seguir, justificando os

casos nos quais os dados forem insuficientes:

a) ¬ p → ( q ∨ ¬ r ), dado que V(r) = F

 ¬p→(q∨ ¬r)
V [ (¬ p → q) v (¬ p → ¬ r)]
V [ ( p v q ) v (¬ ¬ p v ¬ r)
V [ ( p v q) v (p v ¬ r)
V [( p v q) v ( p v V ) ] logo
V[(pvq)vV]
V [ ( p v V) v ( q v V )
V [ ( V ) v ( V )] = V temos uma disjunção e o elemento verdadeiro
absorvente na disjunção.

f) p → ( r ∨ s), sabendo que V ( r ) = V

 V [ p → ( r v s)
V [ ( p → r) v → ( p → s)
V [ (¬p v r) v (¬ p v s )
V [ (¬ p v r ) v (¬ p v s ]
V [ ( V) v (¬ p v s ]
V [ ( V v ¬ p ) v (V v s )
V [ ( V ) v ( V) ] = V neste caso o elemento absorvente è V porque temos a
disjunção.
Pag:41

1) Construa tabelas-verdades para as seguintes proposições compostas:

j) Y = [ ( p ∨ q ) → r ) ∨ ( ¬ p ↔ ( q ∨ ¬ r ) ]

p q r ¬p ¬r (p∨q) (q∨¬r) (p∨q)→r) ¬p↔(q∨¬r) Y

V V V F F V V V F V

V V F F V V V V F V

V F V F F V F V V V

V F F F V V V V F V

F V V V F V V V V V

F V F V V V V V V V

F F V V F F F F F F

F F F V V F V V V V

2) Sabendo que V (p) = V(r) = V e V (q) = V(s) = F, determinar o valor lógicode

cada uma das proposições:

b) ( ¬ p → q ) → ( s → r ) já sabemos que V(p) = V ; V(r) = V e V(q) = F; V(s) = F

logo:

 V [( ¬ p → q ) → ( s → r )]
V [( F → F) → ( F →V )]
V [(V ) →( V)
V ( V → V) = V
3) Determine quais das seguintes proposições são tautologias, contradições ou
contingências.

a) p → ( ¬ p → q )

p q ¬p (¬p→q) p→(¬p→q)

V V F V V

V F F V V

F V V V V

F F V F V

Nota: temos uma tautologia

d) [ ( p → q ) ↔ q ] → p

p q (p→q) [(p→q)↔q] [(p→q)↔q]→p

V V V V V

V F F V V

F V V V F

F F V F V

Nota: temos uma contradição

h) ( p ∧ q ) → [ p ↔ ( q ∨ r ) ]

p q r (p∧q) (q∨r) [p↔(q∨r)] (p∧q)→[p↔(q∨r)]

V V V V V V V

V V F V V V V

V F V F V V V

V F F F F F V

F V V F V F V

F V F F V F V

F F V F V F V

F F F F V V

Nota: temos uma tautologia