LOGICA MATEMÁTICA

Prévia do material em texto

3° LISTA DE EXERCÍCIOS DE LÓGICA MATEMÁTICA 
 
1) Use o método dedutivo para demonstrar: 
a) (𝑝 → 𝑞) → 𝑞 ⇔ 𝑝 ∨ 𝑞 
 
 
 
 
 
 
 
 
 
 
 
 
b) (𝑝 ↑ 𝑞) ⇔ ((𝑝 ↓ 𝑝) ↓ (𝑞 ↓ 𝑞)) ↓ ((𝑝 ↓ 𝑝) ↓ (𝑞 ↓ 𝑞)) 
 
 
 
 
 
 
 
 
 
 
2) Se as premissas abaixo são verdadeiras, então que conclusão teremos? 
 P1: Esta tarde não está ensolarada, e está mais frio hoje que ontem." 
P2: Nós vamos nadar somente se estiver ensolarado." 
P3: Se nós não formos nadar, vamos andar de canoa." 
P4:Se formos andar de canoa, estaremos em casa antes do pôr do sol." 
 
 
 
 
MINISTÉRIO DA EDUCAÇÃO 
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO PIAUÍ 
UNIVERSIDADE ABERTA DO BRASIL – UAB / IFPI 
COORDENAÇÃO DO CURSO DE LICENCIATURA EM MATEMÁTICA, MODALIDADE A DISTÂNCIA 
PROF. JONATHAN LAVOR 
ALUNO(A): 
PÓLO: 
3) Se as premissas abaixo são verdadeiras, então que conclusão teremos: 
P1: Se chover hoje, não faremos um pique-nique hoje. 
P2: Se não fizermos um pique-nique hoje, faremos um pique-nique amanhã. 
 
 
 
 
 
 
 
 
 
 
 
4) Considere o seguinte argumento: 
Se Diana nada espera da vida, então ela não será decepcionada. 
Diana nada espera da vida. 
Logo, Diana não será decepcionada. 
Qual o nome da regra de inferência aplicada? 
a) Silogismo Hipotético 
b) Silogismo Disjuntivo 
c) Modus Ponens 
d) Modus Tollens 
e) Dilema Construtivo 
 
 
5) Considere o argumento: 
P1: Se Paula é Parteira credenciada, então ela possui registro no COREN. 
P2: Paula não possui registro no COREN. 
C: Paula não é Parteira credenciada. 
Assinale a alternativa que apresenta a regra de inferência que valida o argumento dado: 
a) Modus ponens 
b) Modus tollens 
c) Silogismo hipotético 
d) Dilema destrutivo