Question

Utilizaremos los predicados P(x): « x es perfecto» y A(x): « x es tu amigo», siendo el dominio de x son todas

las personas, cuantificadores y conectivos lógicos.

a) No todo el mundo es perfecto.


Doy diamante pero urgente

Answer 1

Los conectivos lógicos son operaciones entre proposiciones y permiten construir nuevas proposiciones a partir de proposiciones ya conocidas. La proposiciones conocidas son:

p(x): x es perfecto

a (x): es tu amigo

x: son todas la personas

Entonces:

a) No todo el mundo es perfecto: ¬p(x)

Un cuantificador nos proporciona información sobre los objetos a evaluar en la función proposicional.

Los cuantificadores son :

1. Cuantificador Universal (∀), se lee “para

todo”.

2. Cuantificador Existencial (∃), se lee

“existe”.

3. Cuantificador de Existencia y Unicidad

(∃!), se lee “existe un ´unico”.

No todo el mundo es perfecto: ¬p(x)

[∀x, p(x)] ⇐⇒ [∃x, p(x)]