Está en la página 1de 2

1.

una proposición categórica, o declaración categórica, es una proposición que


afirma o niega que todos o algunos de los miembros de una categoría están
incluidos en otra. El estudio de los argumentos usando afirmaciones categóricas
(es decir, silogismos) constituye una rama importante de razonamiento deductivo,
que comenzó con
los antiguos griegos.
2.
 Ningún soltero es casado.
 Algunos Mazda no son fabricados en Japón.
3. Hay cuatro clases de preposiciones categoricas y son las siguientes:
 Universal afirmativa:      Todo S es P
  Universal negativa:        Ningún S es P
 Particular afirmativa:     Algún S es P
 Particular negativa:        Algún S no es P

4. En lógica matemática, teoría de conjuntos y matemáticas en general,


los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de
cuantificadores, entre los más utilizados están:
 Cuantificador universal
∀x,y…
Para todo x, y...

 Cuantificador existencial
∃x,y…
Existe al menos un x, y...

 Cuantificador existencial único


∃!x,y…
Existe exactamente un x, y...

 Negación del cuantificador existencial


∄x,y…
No existe ningún x, y...

ejemplo: Todo estudiantes de está clase ha estudiado cálculo.

P(x) : "x es estudiante de la clase de MDI"

Q(x) : "x ha estudiado cálculo"

"x(P(x) ® Q(x))

 P(x) : "x + 1 > x" es verdadera la proposición "xP(x), cuál es el universo del


discurso donde es verdadero.
 Q(x) : "x < 2" es verdadera la proposición "xQ(x) el universo de los reales.
 P(x) : "x*x <10" cuál es el universo del discurso donde es verdadero.
5. El verbo en una proposición categórica correctamente expresada, es siempre
alguna forma del verbo “ser”, y se conoce como “cópula”.

6. Cada proposición será universal o particular (y se distinguirá por la cantidad), y


afirmativa o negativa (y se distinguirá por la calidad). De manera que podemos
distinguir las proposiciones como sigue:

 Universal afirmativa:      Todo S es P
 Universal negativa:        Ningún S es P
  Particular afirmativa:     Algún S es P
 Particular negativa:        Algún S no es P

7. Tradicionalmente, la proposición universal afirmativa se llama "A", y la particular


afirmativa, "I" (por las dos primeras vocales en Affirmo). La universal negativa se
llama "E", y la particular negativa, "O" (por las dos vocales de Nego).

8. El silogismo es una forma de razonamiento deductivo e inductivo que proviene de


la palabra del latín syllogismus, y forma parte de la lógica de origen griego, que
consta de dos proposiciones como premisas y otra como conclusión, siendo la
última una inferencia necesariamente deductiva de las otras dos.

9. Método o razonamiento en el que las ideas o la sucesión de los hechos se


manifiestan o se desarrollan de forma coherente y sin que haya contradicciones
entre ellas.

10. Me parece interesante el desarrollo que tomo la lógica ya que en varias culturas y
tradiciones a lo largo de la historia sobre la logica. (Aunque muchas culturas han
empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico
estaba ya implícito en Babilonia) en algún sentido, la lógica como análisis explícito
de los métodos de razonamiento ha recibido un tratamiento sustancial solo
originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua
Grecia.

También podría gustarte