Escola Superior de Tecnologia e Gestão

Curso de Engenharia Informática Matemática Discreta

Ficha Prática n.º 1: Introdução à Lógica Matemática

1. Simplifique, utilizando as propriedades das operações lógicas, as expressões: a)

a∧

( a ∧ ¬b )

b) ( ¬a ∧ b ) ∨ a c) ¬ [ ( a ∧ b ) ∧ ¬ ( a ∨ b ) ] d) ( a ∧ b ) ∨ ( a ∧ ¬b ) e) ( ¬a ∧ b ) ∨ ¬b f) ¬( ¬a ∧ b ) g) ¬a ∧ ( a ∧ b ) h) ¬[ ( ¬ a ∧ b ) ∨ ¬b ] i) j)

( a ↔ b) → a
¬[ ( p → q ) ∧ ¬q ] ∧ ¬ p ¬[ a ∧ ( ¬b ∨ c ) ∧ ¬( a ∧ c ) ] ∧ ¬ b

k) ¬[ a ∧ ( a → b ) ] → ( a ∧ b ) l)

2. Construa as tabelas de verdade das expressões: a)

a∧

( a ∧ ¬b )

b) ¬[ ( a ∧ b ) ∧ ¬( a ∨ b ) ] c) ¬[ a ∧ ( ¬b ∨ c ) ∧ ¬( a ∧ c ) ] ∧ ¬ b d) ¬[ a ∧ ( a → b ) ] → ( a ∧ b ) e) q ↔ ( ¬p ∨ ¬q )

1

7. q e r as proposições elementares: p : 3 é um número par. não utilizando tabelas de verdade. diga qual é o valor lógico das proposições: a) p ∧ ¬q b) p ∧ q ∧ r e) ¬p → ( q ∧ ¬ r ) ¬( p ∧ ¬q ∧ r ) → ¬q c) ¬( p ∧ q ) ∧ r f) ¬( p ∧ q ) ↔ q ∨ r d) ( p ∨ ¬q ) ∧ r g) ¬[ ¬( p ↔ q ) ∧ r ] h) 4. 8. Sendo p.3. 2 . Prove. que: a) ( p ∧ q ) ∨ ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) = p ∨ q b) ( p ∧ q ) ∨ ( ¬ p ∧ q ) ∨ ( ¬ p ∧ ¬ q ) = ¬ p ∨ q c) ( p ∧ q ) ∨ ( ¬ p ∧ ¬ q ) = p ↔ q  q d) ( p ∧ ¬ q ) ∨ ( ¬ p ∧ q ) = p ∨ 5. 2 r : π é um número irracional. Considere as proposições: P : Porto ganha o campeonato B: S: Benfica ganha o campeonato Sporting ganha o campeonato Supondo ¬[ ¬P ∨ (¬B → S ] verdadeira. Supondo verdadeira a implicação ¬(¬(a → b) ∧ b) → c diga qual é o valor lógico de c. diga qual das equipas ganha o campeonato. Mostre que são logicamente equivalentes as expressões: p → q . ¬ p ∨ q e ¬q → ¬ p 6. Obtenha ¬( p → q ) na forma conjuntiva. q : 1 é um número real.

Através da sua tabela de verdade. Mostre que ( ¬ p ∨ q ) ∧ [ p ∧ ( p ∧ q ) ] é logicamente equivalente a p∧q. averigue se p → ( p ∨ q ) é uma tautologia.1. Admitindo p → q verdadeira indique o valor lógico da proposição: As rectas a e b são perpendiculares e as rectas a e b não formam entre si quatro ângulos iguais.2. E uma contradição? 11. 13. Supondo que p e r são proposições falsas e que q e s são proposições verdadeiras. 12. q. Construa a tabela de verdade de ( ( p → q) ∧ ( q → p) ) ↔ ( p ↔ q) e averigúe se se trata de uma tautologia ou de uma contradição.9. Escreva em linguagem corrente: a) p → q b) c) ¬p∨q ¬q → ¬ p 9. r. determine os valores lógicos de: a) b) ( p → q) → r ( s → ( p ∧ ¬ r ) ) ∧ ( ( p → ( r ∨ q) ) ∧ s) 14. s e t para os quais a proposição ¬[ ( p ∧ q ∧ r ) → ( s ∨ t ) ] é verdadeira. 3 . 10. Considere as proposições: p: as rectas a e b são perpendiculares q: as rectas a e b formam entre si quatro ângulos iguais 9. Determine os valores lógicos das proposições p.

b) ( p ∧ q ) ∧ ¬( p ∨ q ) é uma contradição. Classifique. as condições: a) M(X) ∧ C(X) b) F(X) ∧ M(X) c) E(X) d) M(X) → C(X) 16. traduza cada uma das seguintes expressões: a) Há um número racional maior que 3. x >3 ∧x <2 4 . Mostre que: a) ( p → q ) → ( ¬p ∨ q ) é uma tautologia.1. em TA. Indique o valor lógico das proposições e escreva a negação das falsas sem começar por a) C(João) b) c) d) e) X ∈ T: F(X) ∀ X ∈ T: ∀ ¬ : ∃ X ∈ T: ∃ X ∈ T: ¬ ¬ ¬ C (X ) E(X) C (X ) 17.2.15. 16. Negue cada uma das proposições seguintes usando as 2ªs leis de De Morgan: a) ∀ x ∈IN . Considere no universo T da turma do 1º ano do curso de Engenharia Informática na ESTIG as condições: F(X): X é do sexo feminino M(X): X é do sexo masculino E(X): X é aluno de Engenharia Informática C(X): X é caloiro 16. b) Todos os números naturais são não negativos. Utilizando quantificadores. 18.

São dadas.Z : y 2+ 3 = 0 b) ∃y ∈ c) ∀ x ∈ IR ∃ y∈ ∨ y2 – 1 = 0 IR + . x2 + 3 = 2 2 20. x + y =5 19. Considere a condição em IN . Classifique cada uma delas 20. x + 1 +2 > 0 x ∈IR . x2 = 1 x . utilizando dois quantificadores a) universais b) existenciais c) o primeiro universal e o outro existencial d) o primeiro existencial e o outro universal 19.2. Diga qual é o valor lógico de cada uma das seguintes proposições a) ∀ x∈ IR . Utilizando quantificadores traduza cada uma das expressões: a) Todo o número racional é real b) Todos os quadrados são losangos c) Existe pelo menos um número real que não é racional d) Há pelo menos um número inteiro cujo dobro é positivo 5 . as condições: x + 1 + 2 > 0 .1. x 2 = b) ∀ 1 x 2 c) ∃x ∈IR : x 2 = 1 x 2 1 x 2 d) ∃1 x ∈IR : x 2 = e) ∃x ∈IR : x 2 + 3 = 2 21. y ∈IR : x > 2 →y + x ≤ 2 19. em IR. Transforme-a numa proposição.1. y = x 2 d) ∃ x .2. Traduza as proposições obtidas em linguagem corrente e indique o seu valor lógico 20.

x − y = 2 e) ∃x ∈IR ∀ f) ∀x . Traduza em linguagem corrente e indique o valor lógico de cada uma das proposições seguintes: x ∈IR ∃y ∈IR : x + y = x a) ∀ y ∈IR : x + y = x b) ∃x ∈IR ∀ x ∈IR ∃y ∈IR : x + y =0 c) ∀ 23. x >2 →x > y d) ∀ y ∈IR .22. Negue cada uma das proposições seguintes (não utilize o símbolo ¬) a) ∀x ∈ IR . y ∈IR . 1 <x ≤ 5 c) ∀ x ∈IR ∀ y ∈IR . x > 2 ∨ x = 3 b) ∃x ∈IR : x >5 ∧ x >7 x ∈IR . x < y → x ≤1 x ∈IR . ( x > 2 ∧ x < 5) ∨ x > 3 g) ∀ 6 .

Sign up to vote on this title
UsefulNot useful