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.
