Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Gino Butron Platero LMyD S5

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

LÓGICA MATEMÁTICA DIGITAL - LÓGICA CUANTIFICACIONAL

SEMANA 5

Gino Butron Platero


18/04/2022
Carrera Automatización y Control industrial
DESARROLLO

La lógica cuantificaciones es una parte de la lógica que estudia las proposiciones para las cuales

sus sujetos poseen una característica particular y es que pueden ser contados, es decir, que

expresan cantidad. Además, esta sección de la lógica permite hacer un estudio más profundo

a la sintaxis de las proposiciones debido a que sus partes, sujeto y predicado, son las que se

estudian. El estudio de esta parte de la lógica permite reconocer conceptos fundamentales,

como lo son las proposiciones categóricas.

En el caso de las proposiciones categóricas es el nombre que se le da a todas las proposiciones

en las cuales se relacionan clases o categóricas, clases que relacionan al sujeto y el predicado,

aunque en el estudio de estas proposiciones el sujeto es sustituido por el término, el cual

puede tomar cualquier valor. Las proposiciones categóricas pueden ser universales,

afirmativas o negativas, o particulares de igual manera afirmativas o negativas. Estas permiten

definir o nombrar ciertos grupos o categorías de sujetos.

El estudio de las proposiciones categóricas viene ligado con la lógica de proposiciones, ya que,

aunque las proposiciones categóricas son un poco más complejas en sintaxis, utilizan los

mismos principios lógicos que ya han sido estudiados además de coexistir con los operadores

lógicos y los signos de agrupación.


1. Teniendo en consideración las siguientes proposiciones, traducir estas en lenguaje lógico. Tenga
presente el uso de cuantificadores para expresar las proposiciones y las variables para expresar
los términos.

Formula Enunciado natural Lenguaje lógico


A Todas las hormigas son insectos (∀x)( Px)
B Hay animales carnívoros Fs
C Todos los gatos tienen cola (∀y)( Ry)
D Todos aprobaran el curso y (∀x Sx) Λ (∀x Tx)
disfrutaran de vacaciones
E Todos los hombres son mortales (∀x)( Px)
F Existen ciudades de clima frio Et

2. Partiendo de las siguientes proposiciones categóricas, señale a qué categoría pertenecen según la
estructura de las mismas.

Proposicion Categoría
Algunas personas son zurdas Particulares afirmativos (I)
No todas las aves pueden volar Particulares negativas (O)
Solo los barcos pueden navegar Universales afirmativas (A)
Algunos tiburones no matan humanos Particulares negativas (O)
Todos los gatos caen de pie Universales afirmativas (A)
Algunas fórmulas matemáticas no tienen Particulares negativas (O)
solución
REFERENCIAS BIBLIOGRÁFICAS
 Flax, J. (2020). Resumen de: Nociones de lógica proposicional y
semiótica. La Bisagra. 
  García Muñoz, M. Á. (2017). Matemática discreta para la computación:
nociones teóricas y problemas resueltos. Universidad de Jaén. 
  Kindelán, U. (2007). Fundamentos matemáticos de la ingeniería.
Dykinson. 
 Cardozo Meza, A. (2019). Lógica Matemática y Digital (1° ed.). Instituto
Superior de Artes y Ciencias de la Comunicación S.A.

También podría gustarte