Ejercicio 1 unidad 1_ Yubieth Jhoana Torres Moreno

A continuación, anexo enlace del ejercicio realizado

https://prezi.com/p/create-prezi/
 CONCEPTUALIZACION DE CUANTIFICADORES

PROPOSICIONES CON CUANTIFICADORES

Definición:

El cuantificador universal, se simboliza así (ver imagen adjunta), un cuantificador

es una expresión que permite determinar cantidad en una proposición.

• El símbolo (ver imagen adjunta) se lee “para todo”

Cuantificador Universal Afirmativo

as frases que comúnmente se utilizan para denotar el cuantificador Universal

Afirmativo son:

• Todos x – Todo x

• Para cada x

• Cada x

• Cada uno x

• Siempre que x

• Cualquiera x

• Para todo x

Ejemplo 1

Todos los carnívoros se alimentan de carne

Si x es carnívoros entonces x se alimentan de carne

Y se define (ꓯ x)Cx Cx
Ejemplo 2

Todo lo que nace y crece tiene que morir

Y se define ꓯ x(nace(x) crece(x) ^tiene que morir(x))

 BIBLIOGRAFIA

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=109