PDF Archive

Easily share your PDF documents with your contacts, on the Web and Social Networks.

Share a file Manage my documents Convert Recover PDF Search Help Contact



EA3 RES CM .pdf



Original filename: EA3-RES-CM.pdf
Author: Carlos Marques

This PDF 1.5 document has been generated by Microsoft® Word 2016, and has been sent on pdf-archive.com on 19/03/2017 at 23:50, from IP address 94.63.x.x. The current document download page has been viewed 482 times.
File size: 827 KB (4 pages).
Privacy: public file




Download original PDF file









Document preview


[EA3] – Lógica de Primeira Ordem
Resolução – Carlos Marques

1. Domínio: Conjunto de todos os estudantes da UA.
S(x): “x tem um smartphone”;
A(x,y): “x e y são amigos”;
U(x,y): “x usa o smartphone de y”;
(a)
Para qualquer (todo) estudante da UA, esse tem um smartphone ou existe pelo
menos outro que tem smartphone e é amigo desse primeiro.
(b)
(Tirar a implicação – fórmula equivalente) : ∀𝑥 (𝑆(𝑥) ⋁ ∃𝑦(𝐴(𝑦, 𝑥)⋀𝑈(𝑥, 𝑦)))
Para qualquer (todo) estudante da UA, este tem smartphone ou existe outro que
é amigo desse estudante e o primeiro usa o smartphone do segundo.

2. (Negação) -> (Leis de De Morgan) -> (Negação) -> (Quantificadores para trás)

3.

F1: (Negação) -> (Leis de De Morgan) -> (Negação) -> (Leis de De Morgan) -> (Associatividade)

F2: (Fórmula equivalente) -> (Fórmula equivalente) -> (Associatividade)

4. Universo do discurso: Conjunto de todas as pessoas.
R(x,y): “x admira y”;
A(x): “x admira exatamente 2 pessoas”.
(a)
(b)
(c)
(d)
(e)

- ∀𝑥 ∃𝑦 ¬𝑅(𝑥, 𝑦)
- ∀𝑥 𝑅(𝑥, 𝐽𝑜𝑟𝑔𝑒)
- 𝐴(𝐽𝑜ã𝑜)
- ∀𝑥 ¬𝑅(𝑥, 𝑥)
- ∀𝑥 ∃𝑦 𝑅(𝑥, 𝑦) ⇒ ¬𝑅(𝑦, 𝑥) ≡ ∀𝑥∃𝑦 ¬𝑅(𝑥, 𝑦) ⋁ ¬𝑅(𝑦, 𝑥)

(*)

5. Todo o polinómio de grau 1 com coeficientes reais tem exatamente uma raiz real.
Universo do discurso: O conjunto de todos os polinómios de grau 1.
Q(x): “x tem coeficientes reais”;
R(x): “x tem exatamente uma raiz real”;
∀𝑥 𝑄(𝑥) ⇒ 𝑅(𝑥)
≡ ∀𝑥 ¬𝑄(𝑥) ⋁ 𝑅(𝑥)

(*)Illuminati confirmed!∆


EA3-RES-CM.pdf - page 1/4
EA3-RES-CM.pdf - page 2/4
EA3-RES-CM.pdf - page 3/4
EA3-RES-CM.pdf - page 4/4

Related documents


PDF Document ea3 res cm
PDF Document seo no jornalismo
PDF Document lista 5
PDF Document propostas para estudantes chapa integrac a o
PDF Document eckhart tolle o poder do sile ncio
PDF Document a ponte entre a ciencia e a religi o amit goswami


Related keywords