Apostila de LÃ³gica

More documents

Recommendations

Info

Unidade 3 – Quantificadores, Predicados e validade 3 – Negação de Proposições Quantificadas Sejam as proposições; i) Toda pessoa fala inglês; ii) Alguém foi a lua. A negação dessas proposições é dada por i´) Nem toda pessoa fala inglês; ii´) Ninguém foi a lua. assim a negação de proposições quantificadas é expressa como: x Apx x A~ px ~ x Apx x A~ px ~ que são denominadas como segundas regras de De Morgan. Exemplos: 1) Dê a negação das seguintes proposições: a) n Nn 2 8 b) x R3x 5 0 c) x Rsenx 0
Unidade 3 – Quantificadores, Predicados e validade 4 – Lista de Exercícios 1. Sendo R o conjunto dos números reais, determinar o valor lógico de cada uma das seguintes proposições: 2 a) x R x x b) x Rx x c) x R x 0 d) x Rx 2 x e) x Rx x 2 1 f) x Rx x 2. Sendo A 1 , 2, 3, 4, 5 , determinar o valor lógico de cada uma das seguintes proposições: a) x Ax 3 10 b) x Ax 3 10 c) x Ax 3 5 d) Ax 3 7 x 2 x e) x A3 72 f) x Ax 2x 15 3. Dar a negação das proposições abaixo: 2 a) x R x x b) x Rx x c) x R x 0 d) x Rx 2 x e) x Rx x 4. Sendo A 1 , 2, 3, 4, 5 2 1 f) x Rx x , dar a negação das proposições abaixo a) x Ax 3 10 b) x Ax 3 10 c) x Ax 3 5 d) Ax 3 7 x 2 x e) x A3 72 f) x Ax 2x 15
Page 1 and 2: Unidade 1 - Sentenças e Representa
Page 21 and 22: Unidade 2 - Lógica Proposicional (
Page 31 and 32: Unidade 3 - Quantificadores, Predic
Page 33: Unidade 3 - Quantificadores, Predic

Apostila de LÃ³gica

Create successful ePaper yourself

Delete template?

Save as template?