EA3 RES CM .pdf

File information


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 22:50, from IP address 94.63.x.x. The current document download page has been viewed 559 times.
File size: 827 KB (4 pages).
Privacy: public file


Download original PDF file


EA3-RES-CM.pdf (PDF, 827 KB)


Share on social networks



Link to this file download page



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!∆


Document preview EA3-RES-CM.pdf - page 1/4

Document preview EA3-RES-CM.pdf - page 2/4
Document preview EA3-RES-CM.pdf - page 3/4
Document preview EA3-RES-CM.pdf - page 4/4

Related documents


ea3 res cm
o sentido da vida diadema
como ganhar dinheiro na internet
a med do discurso pol pela cs
prova final sem int bibl
noroi sua

Link to this page


Permanent link

Use the permanent link to the download page to share your document on Facebook, Twitter, LinkedIn, or directly with a contact by e-Mail, Messenger, Whatsapp, Line..

Short link

Use the short link to share your document on Twitter or by text message (SMS)

HTML Code

Copy the following HTML code to share your document on a Website or Blog

QR Code

QR Code link to PDF file EA3-RES-CM.pdf