Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 21 vistas

    Clase 1 Definiciones de Lógica

    Cargado por

    carlnaggal
    Este documento presenta apuntes sobre lógica proposicional en álgebra I. Explica objetivos como traducir lenguaje natural a simbólico, fundamentar pasos mediante definiciones y demostraciones, y validar razonamientos. Define conceptos como lógica, razonamiento, proposición y esquema proposicional. Distingue entre proposiciones y no proposiciones. Describe lenguaje formal lógico y clasifica proposiciones. Finalmente, explica conectivas lógicas como negación, conjunción

    Copyright:

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

    Clase 1 Definiciones de Lógica

    Cargado por

    carlnaggal
    21 vistas4 páginas
    Este documento presenta apuntes sobre lógica proposicional en álgebra I. Explica objetivos como traducir lenguaje natural a simbólico, fundamentar pasos mediante definiciones y demostraciones, y validar razonamientos. Define conceptos como lógica, razonamiento, proposición y esquema proposicional. Distingue entre proposiciones y no proposiciones. Describe lenguaje formal lógico y clasifica proposiciones. Finalmente, explica conectivas lógicas como negación, conjunción

    Título original

    Clase 1 ; Definiciones de Lógica

    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 apuntes sobre lógica proposicional en álgebra I. Explica objetivos como traducir lenguaje natural a simbólico, fundamentar pasos mediante definiciones y demostraciones, y validar razonamientos. Define conceptos como lógica, razonamiento, proposición y esquema proposicional. Distingue entre proposiciones y no proposiciones. Describe lenguaje formal lógico y clasifica proposiciones. Finalmente, explica conectivas lógicas como negación, conjunción

    Copyright:

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

    Clase 1 Definiciones de Lógica

    Cargado por

    carlnaggal
    Este documento presenta apuntes sobre lógica proposicional en álgebra I. Explica objetivos como traducir lenguaje natural a simbólico, fundamentar pasos mediante definiciones y demostraciones, y validar razonamientos. Define conceptos como lógica, razonamiento, proposición y esquema proposicional. Distingue entre proposiciones y no proposiciones. Describe lenguaje formal lógico y clasifica proposiciones. Finalmente, explica conectivas lógicas como negación, conjunción

    Copyright:

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

    APUNTES DE ALGEBRA I

    UNIDAD I. LOGICA PROPOSICIONAL


    MAT100
    MSc Ing Nancy Abarca

    Objetivos:

    1. Traducir del lenguaje natural al lenguaje simbólico y viceversa


    2. Fundamentar cada paso mediante definiciones, propiedades, axiomas y/o teoremas
    3. Demostrar la validez o no de los razonamientos

    Lógica: es la ciencia que estudia la validez o no de un razonamiento

    Un razonamiento o argumento: es un conjunto de proposiciones llamada premisas y


    conclusión

    P1.

    P2 premisas

    P3

    :Q conclusión

    Proposición: es una expresión que tiene un valor de verdad

    SC es el departamento con mayor de población de Bolivia V

    Sc es hermosa No es proposición es una cualidad

    La UAGRM es la más grande de Bolivia, porque tiene 100000 estudiantes es proposición V

    Buenas Noches! No es proposición

    ¿Cuanto esta el cambio del dólar? No es prop. Es una interrogación

    Anabel es bonita No es prop. Es una cualidad

    X+3=5 No es proposición, es esquema proposicional

    4+3= 5 es proposición F

    Algunos números sumados a 3 da cinco es proposición V

    Esquema proposicional. EP

    Toda expresión que tiene variables, y se transforma en proposición por sustitución o por
    cuantificación

    sen2x+cos2x=1 esta es una identidad por tanto es un EP

    x2-y2=(x-y)*(x+y) es un EP ( identidad)
    APUNTES DE ALGEBRA I
    UNIDAD I. LOGICA PROPOSICIONAL
    MAT100
    MSc Ing Nancy Abarca

    52-72=(5-7)*(5+7) es una proposición v

    X2-5x+6=0 EP, es una ecuación,

    Identidad es toda expresión en la que cualquier numero real satisface la relación de igualdad

    Ecuación es toda expresión en la que algunos números reales satisface la relación de igualdad

    X ama a y EP

    Rosa ama a y EP

    Rosa ama a José Proposición

    Lenguaje formal lógica

    1,2,3,4,5 variables lógicas: p,q,r,t,s

    +-*/ 𝑜𝑝𝑒𝑟𝑎𝑑𝑜𝑟𝑒𝑠 𝑙𝑜𝑔𝑖𝑐𝑜𝑠: ∧, ∨ , →, ∼, <→

    () [] {} signos de agrupación: () [] {}

    1, 0 valores de verdad: V,F

    Proposiciones bien formadas

    ∼𝑝
    𝑝∧𝑞
    𝑝∨𝑞
    P ->q

    P<->q

    𝑞∼𝑝
    fnbf

    ∼ (𝑝 ∧∼ 𝑞 ∨ 𝑟) fbf

    Clasificación de proposiciones

    1. Proposiciones simples o atómica; cuando no están asociadas a ningún conectivo lógico

    P = SC es el departamento con mayor población de Bolivia V

    2. Proposiciones moleculares o compuesta: cuando están asociadas a algún conectivo


    lógico
    APUNTES DE ALGEBRA I
    UNIDAD I. LOGICA PROPOSICIONAL
    MAT100
    MSc Ing Nancy Abarca

    ∼P = SC no es el departamento con mayor población de Bolivia F


    𝑝 ∧ 𝑞 = Arce es presidente de los Bolivianos y Choquehuanca es el vicepresidente
    𝑝 → 𝑞 =Si los jóvenes hacen huelga, entonces las autoridades retrocederán en sus
    acciones

    Jerarquía de conectivas:
    1. ->, <->
    2. ∧,∨
    3. ∼

    2*3-5+2/1=6-5+2=3
    2*(3-5)+2/1=-4+2=-2

    4. ∼p->q∧ 𝑟 ∨ 𝑠 proposición condicional


    5. [∼ (p->q) ∧ 𝑟] ∨ 𝑠 Disyunción
    6. ∼ {[(p->q) ∧ 𝑟] ∨ 𝑠} Negación

    Conectivas lógicas

    1. Negación: es una operación monaria, y se simboliza por ∼, 7,∸ 𝑝


    ∼ 𝑝 Se lee: no p, no es verdad que p, no es cierto que p, es falso que p, tampoco,
    nada, es erróneo, nunca p, jamás p, no se da el caso que p, de ningún modo p, no
    es igual que p
    Para elaborar la tabla de verdad 2n=n° valores de verdad
    21=2
    ∼ 𝑝 ∼ 𝑝
    𝐹𝑣 0 1
    vF 1 0
    2. conjunción o producto lógico: ∧
    p∧ 𝑞 se lee “p y q”, p pero q, p , q , p aunque q, p sin embargo q, p a la vez
    que q, p también q, p asi como q, p no obstante q, p a pesar que q,
    La conjunción es verdadera si ambas proposiciones son verdaderas
    Tabla de verdad
    p ∧ 𝑞
    V V V
    V F F
    F F V
    F F F
    p∧ 𝑞 = se encarcelan a generales que apoyaron a su pueblo pero los exministros
    están libres V ∧ V= V
    p∧ 𝑞 = Maradona falleció sin embargo los medios le hacen homenajes V ∧ V= V
    APUNTES DE ALGEBRA I
    UNIDAD I. LOGICA PROPOSICIONAL
    MAT100
    MSc Ing Nancy Abarca

    p∧ 𝑞 = habrá elecciones para Rector también para Decanos V ∧ V= V

    Tarea N°1

    Investigar otras formas de lectura de la negación, conjunción, Condicional y la


    bicondicional

    También podría gustarte