Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 74 vistas

    LOGICA-clase 6 Legris

    Cargado por

    Marcelo Trias
    Este documento presenta las conectivas lógicas y sus condiciones de verdad. Resume la clase sobre la notación lógica, explicando las conectivas de negación, conjunción, disyunción, condicional y bicondicional, y definiendo las condiciones bajo las cuales cada una es verdadera. El documento proporciona los fundamentos sobre el significado y uso de las conectivas lógicas.

    Copyright:

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

    LOGICA-clase 6 Legris

    Cargado por

    Marcelo Trias
    74 vistas12 páginas
    Este documento presenta las conectivas lógicas y sus condiciones de verdad. Resume la clase sobre la notación lógica, explicando las conectivas de negación, conjunción, disyunción, condicional y bicondicional, y definiendo las condiciones bajo las cuales cada una es verdadera. El documento proporciona los fundamentos sobre el significado y uso de las conectivas lógicas.

    Título original

    LOGICA-clase 6 legris

    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?

    Este documento presenta las conectivas lógicas y sus condiciones de verdad. Resume la clase sobre la notación lógica, explicando las conectivas de negación, conjunción, disyunción, condicional y bicondicional, y definiendo las condiciones bajo las cuales cada una es verdadera. El documento proporciona los fundamentos sobre el significado y uso de las conectivas lógicas.

    Copyright:

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

    LOGICA-clase 6 Legris

    Cargado por

    Marcelo Trias
    Este documento presenta las conectivas lógicas y sus condiciones de verdad. Resume la clase sobre la notación lógica, explicando las conectivas de negación, conjunción, disyunción, condicional y bicondicional, y definiendo las condiciones bajo las cuales cada una es verdadera. El documento proporciona los fundamentos sobre el significado y uso de las conectivas lógicas.

    Copyright:

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

    Clase Apunte La notación lógica II

    Lógica- FCE UBA

    1 cuatrimestre de 2021

    Clase 30/03

    Prof. Valeria Sol Valiño


    Aclaraciones de la presente clase
    ¤  Retomando lo visto en las pasadas clases de los días martes 23/03 y viernes
    26/03, en la clase de hoy finalizaremos con la presentación y el análisis de las
    CONECTIVAS, continuando con el desarrollo de la UNIDAD TEMATICA III. En
    especial, precisaremos ciertas notas propias de este tipo de expresiones
    lógicas vinculadas a su significado, y avanzaremos hasta el punto 4 del
    apunte La notación lógica. Cabe aclarar que el tema de las tablas de
    verdad que se menciona en el apartado 4.8, empero, lo veremos más
    adelante, cuando nos concentremos en el lenguaje de enunciados.

    ¤  La próxima clase retomaremos el tema de las expresiones lógicas, y nos


    abocaremos exclusivamente a los CUANTIFICADORES. Se espera, para ello, (i)
    que hayan ya ejercitado con las conectivas, a través de los ejercicios
    indicados en la clase del martes pasado, y (ii) que hayan avanzado con la
    lectura del apunte La notación lógica, focalizándose en los puntos 5 y 6 de
    dicho apunte.

    ¤  No duden en contactarnos ante cualquier duda o aclaración que necesiten


    de lo que vamos viendo en las clases!
    [email protected]
    1. Recapitulación clase anterior.
    1.1 LA NOTACION LOGICA

    u  Es un simbolismo para ¤  (I) EXPRESIONES LOGICAS


    desarrollar un lenguaje lógico,
    compuesto por dos tipos de Dos tipos:
    signos: i.  Conectivas
    ii.  Cuantificadores (y variables
    u  SIGNOS DESCRIPTIVOS para de individuo)
    representar las Expresiones
    descriptivas o no lógicas. ¤  Ej.: “Juan es alto y delgado”,
    “Buenos Aires es la capital de Italia
    u  SIGNOS LÓGICOS signos o de Argentina”, “Alguien es alto”,
    “Todos los hombres aman a algún
    especiales para representar mortal”, etc.
    las Expresiones lógicas:
    “todos”, “algunos”, “si...
    entonces”, “y”, “no”, etc. ¤  (II) EXPRESIONES NO LOGICAS
    ¤  Son expresiones descriptivas.

    ¤  Elementos intra enunciado


    atómico (predicados,
    individuos, etc.)
    1.2 EXPRESIONES LÓGICAS: i. Conectivas

    Conectiva signo expresiones en castellano

    Negación ¬ no, no es cierto que, no se da que, etc.

    Conjunción ∧ y, tanto ... como, pero, aunque, si bien, etc.

    Disyunción ∨ o, o bien ... o bien, ya ... ya, etc..

    Condicional → si ..., entonces, sólo si, en caso de que, a condición


    de que, implica,suponiendo que.., etc.

    Bicondicional ↔ si y sólo si, etc.

    Ej.:
    Si Buenos Aires está en Colombia, entonces está próxima al Ecuador y no está sobre el
    Río de la Plata.
    Cód.:
    A: “Buenos Aires está en Colombia”
    B: “Buenos Aires está próximo al Ecuador”
    C: “Buenos Aires está sobre el Río de la Plata”
    (A →( B ∧ (¬ C) ) )
    2. ¿Qué expresan las conectivas?

    ¤  Usamos las conectivas en contextos deductivos: cuando


    realizamos deducciones, extraemos conclusiones, advertimos
    una inconsistencia, etc. à son útiles para la obtención de
    CONOCIMIENTO, y ello se relaciona a su SIGNIFICADO.

    ¤  ¿Qué significan las conectivas? La respuesta a tal pregunta


    puede ser caracterizada, a su vez, en términos de respuesta a
    las siguientes preguntas:

    1.  Qué podemos deducir de un enunciado con una constante lógica


    determinada?

    2.  Bajo qué condiciones podemos deducir un enunciado con una


    constante lógica determinada?
    2.1 Las condiciones de verdad de las
    conectivas

    ¤  Característica de todo enunciado: poseer un VALOR DE


    VERDAD (V o F).
    ¤  Los enunciados que contienen una determinada CONECTIVA
    como signo principal son también V o F.

    Así, podemos preguntarnos, ¿qué condiciones hacen V o F a


    un enunciado que contiene alguna conectiva?
    ê
    ¤  CONDICIONES DE VERDAD de las conectivas è dan el
    significado de las conectivas y permiten caracterizar, entonces,
    qué expresan las conectivas.
    CONDICIONES DE VERDAD DE LA CONJUNCION

    ¤  Conjunción: que una conjunción sea verdadera significa


    que ambos miembros de la conjunción son verdaderos.
    Asi, “Ana estudia Filosofía y Juan estudia Economía” es
    verdadero cuando, y únicamente, son verdaderos los
    dos enunciados “Ana estudia Filosofía ” y “Juan estudia
    Economía”. O sea, A ^ B es verdadero si y sólo si tanto A
    como B son verdaderos. Si uno de los dos es falso, la
    conjunción no podrá ser verdadera.
    CONDICIONES DE VERDAD
    de la DISYUNCION

    ¤  Disyunción: una disyunción es verdadera cuando y


    únicamente cuando alguno de los dos miembros de la
    disyunción es verdadero. De aquí, si un enunciado A ∨ B
    es verdadero, entonces A es verdadero o B es
    verdadero, pero no puede determinarse cuál de los dos
    casos se da. Así, si es verdadero el enunciado “Ana
    estudia Filosofía o Juan estudia Economía”, es verdadero
    “Ana estudia Filosofía” o es verdadero “Juan estudia
    Economía”, pero no se sabe cuál de las dos alternativas
    se da (incluso podrían darse conjuntamente). Lo que no
    puede ocurrir si aquella disyunción es verdadera, es que
    ambos miembros sean falsos. Esta posibilidad queda
    excluida.
    CONDICIONES DE VERDAD
    de la NEGACION

    ¤  Negación: es verdadera si y sólo si el enunciado


    afectado por la negación es falso. Así, afirmar que el
    enunciado “Ana no estudia Filosofía” es verdadero
    equivale a decir que el enunciado “Ana estudia
    Filosofía” es falso. Entonces, afirmar “¬A es verdadero” es
    lo mismo que indicar “A es falso”.
    CONDICIONES DE VERDAD
    del CONDICIONAL

    ¤  Condicional: esta conectiva requiere alguna consideración


    preliminar. La verdad del enunciado “Si Ana estudia Filosofía
    entonces Ana es estudiante universitaria” debe entenderse en
    el sentido de que nunca puede ser verdadero el antecedente
    “Ana estudia Filosofía” y falso el consecuente “Ana es
    estudiante universitaria”. En otras palabras, un condicional es
    falso si y sólo si el antecedente es verdadero y el consecuente
    falso. En signos: A → B es falso, si A es verdadero y B falso. En los
    restantes casos el condicional no será falso, de modo que, por
    el principio de bivalencia, A → B deberá ser verdadero. Así:

    ¤  (a) Un condicional con el antecedente F es V.

    ¤  (b) Basta que el consecuente de un condicional sea V para que


    el condicional sea V.
    CONDICIONES DE VERDAD
    del BICONDICIONAL

    ¤ Bicondicional: es la conjunción de dos


    condicionales: un condicional y la conversión
    de antecedente y consecuente en el mismo.
    En signos: A ↔ B es la conjunción de A → B y B
    → A. Así pues, sus condiciones de verdad
    resultan de combinar las condiciones de
    verdad del condicional y la conjunción. De ello
    se infiere que un bicondicional es verdadero si
    sus dos enunciados componentes tienen el
    mismo valor de verdad.
    Resumen de las condiciones de verdad para las
    conectivas

    ¤  (∧) Un enunciado A ∧ B es verdadero si y sólo si tanto A


    como B son verdaderos.

    ¤  (∨) Un enunciado A ∨ B es verdadero si y sólo si A es


    verdadero o B es verdadero.

    ¤  (¬) Un enunciado ¬A es verdadero si y sólo si A es falso.

    ¤  (→) Un enunciado A → B es verdadero si y sólo si no se da


    que A sea verdadero y B sea falso (es decir que, si A es
    verdadero, entonces B es verdadero).

    ¤  (↔) Un enunciado A ↔ B es verdadero si y sólo si se da que


    A y B son ambos verdaderos o A y B son ambos falsos (en
    suma, si A y B tienen ambos el mismo valor de verdad)

    También podría gustarte