Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 155 vistas

    U12. Lógica Predicativa I - Proposiciones Categóricas PDF

    Cargado por

    Julia
    El documento explica los conceptos básicos de la lógica proposicional, incluyendo las proposiciones categóricas, sus elementos, formas y representaciones gráficas. Las proposiciones categóricas hacen afirmaciones sobre clases y si una clase está incluida en otra. Se clasifican según su calidad (afirmativa o negativa) y cantidad (universal o particular), y se representan usando diagramas de Venn y fórmulas booleanas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    U12. Lógica Predicativa I - Proposiciones Categóricas PDF

    Cargado por

    Julia
    155 vistas16 páginas
    El documento explica los conceptos básicos de la lógica proposicional, incluyendo las proposiciones categóricas, sus elementos, formas y representaciones gráficas. Las proposiciones categóricas hacen afirmaciones sobre clases y si una clase está incluida en otra. Se clasifican según su calidad (afirmativa o negativa) y cantidad (universal o particular), y se representan usando diagramas de Venn y fórmulas booleanas.

    Título original

    U12. Lógica Predicativa I - Proposiciones Categóricas.pdf

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento explica los conceptos básicos de la lógica proposicional, incluyendo las proposiciones categóricas, sus elementos, formas y representaciones gráficas. Las proposiciones categóricas hacen afirmaciones sobre clases y si una clase está incluida en otra. Se clasifican según su calidad (afirmativa o negativa) y cantidad (universal o particular), y se representan usando diagramas de Venn y fórmulas booleanas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    155 vistas16 páginas

    U12. Lógica Predicativa I - Proposiciones Categóricas PDF

    Cargado por

    Julia
    El documento explica los conceptos básicos de la lógica proposicional, incluyendo las proposiciones categóricas, sus elementos, formas y representaciones gráficas. Las proposiciones categóricas hacen afirmaciones sobre clases y si una clase está incluida en otra. Se clasifican según su calidad (afirmativa o negativa) y cantidad (universal o particular), y se representan usando diagramas de Venn y fórmulas booleanas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 16

    Prof.

    Julia Chang Torr

    Lógica
    Predicativa I
    La lógica predicativa realiza un análisis
    interno de las proposiciones con el fin de
    poder determinar la validez de los
    razonamientos haciendo uso de fórmulas
    booleanas y los diagramas de Venn.
    1. Proposiciones Categóricas

    Las proposiciones categóricas (PC) son aserciones


    acerca de clases, que afirman o niegan que una
    clase esté incluida en otra, ya sea en forma
    parcial o total.
    ¿Qué es una clase?

    Una "clase" es una colección de objetos que tienen


    algunas características específicas en común.

    Ejemplo:
    Algunos mamíferos son animales voladores.

    Mamíferos Animales voladores


    Características de la PC:

    Son proposiciones predicativas (sujeto – verbo –


    predicado).
    Son cuantitativas: es decir poseen cantidad (universales y
    particulares).
    Son cualitativas: tienen una cualidad o calidad
    (afirmativas y negativas).
    Utilizan el lenguaje Booleano.
    Se representan mediante los diagramas de Venn.
    Elementos de la PC:

    CUANTIFICADOR: Indica si se tomó íntegra o


    parcialmente el sujeto.
    SUJETO: Indica clases o conjuntos.
    VERBO COPULATIVO: Generalmente es el verbo “SER”
    que está en presente y en modo
    indicativo en su forma afirmativa o
    negativa.
    PREDICADO: Indica clases o conjuntos.
    Elementos de la PC:

    Ejemplo 1:
    Algunos mamíferos son animales voladores.
    Cuantificador Sujeto Verbo Predicado

    Ejemplo 2:
    Ningún hombre es mortal.
    Cuantificador Sujeto Verbo Predicado
    Formas Típicas:
    A = Todos los S son P = Universal Afirmativa
    Inclusión Total
    E = Ningún S es P = Universal Negativa
    Exclusión Total
    I = Algunos S son P = Particular Afirmativa
    Inclusión Parcial
    O = Algunos S no son P = Particular Negativa
    Exclusión Parcial

    AffIrmo nEgO
    Clasificación de las PC:
    CUALIDAD:
    Afirmativa: Se afirma la inclusión total o parcial de una
    clase respecto de otra.
    Negativa: Se niega la inclusión total o parcial de una
    clase respecto de otra.

    CANTIDAD:
    Universal: Se refiere a todos los miembros de la clase
    designada por el sujeto.
    Particular: Se refiere a algunos los miembros de la clase
    designada por el sujeto.
    Representación Gráfica de las PC:
    Se representan usando los diagramas de Venn.
    Los diagramas de Venn son círculos que se trasladan y se
    utilizan para graficar las relaciones entre conjuntos o
    clases y, consiguientemente, en el análisis de las
    proposiciones categóricas.

    U U
    S S

    S = {humanos}  Ø (tiene elementos) S = {unicornios} = Ø (no tiene elementos)


    Representación Gráfica de las PC:
    a. El Complemento: 𝑨 U
    A B

    b. La Intersección: 𝑨 ∩ 𝑩
    U
    A B
    Distribución de término:
    Un término está distribuido en una proposición categórica
    típica cuando aparece en toda su extensión. Cuando un
    determinado término del silogismo tiene cantidad
    universal se dice que está distribuido.

    A = Todos los S son P

    E = Ningún S es P

    I = Algunos S son P

    O = Algunos S no son P
    Resumen:
    a. UNIVERSAL AFIRMATIVA:
    Todos los fiscales son abogados
    Forma Lógica : Todos los S son P
    Letra Típica : A
    Forma Típica : SaP
    Fórmula Booleana : 𝑺𝑷 = ∅
    Diagrama de Venn:
    S P
    Resumen:
    b. UNIVERSAL NEGATIVA:
    Ningún loco es cuerdo.
    Forma Lógica : Ningún S es P
    Letra Típica : E
    Forma Típica : SeP
    Fórmula Booleana : 𝑺𝑷 = ∅
    Diagrama de Venn:
    S P
    Resumen:
    c. PARTICULAR AFIRMATIVA:
    Algún animal es terrestre.
    Forma Lógica : Algunos S son P
    Letra Típica : I
    Forma Típica : SiP
    Fórmula Booleana : 𝑺𝑷 ≠ ∅
    Diagrama de Venn:
    S P

    x
    Resumen:
    d. PARTICULAR NEGATIVA:
    Algunos policías no son honestos
    Forma Lógica : Algunos S no son P
    Letra Típica : O
    Forma Típica : SoP
    Fórmula Booleana : 𝑺𝑷 ≠ ∅
    Diagrama de Venn:
    S P

    También podría gustarte