Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 154 vistas

    T Are A 7 Adrian Contreras

    Cargado por

    Adrián Casillas
    Este documento presenta tres ejercicios de lógica proposicional que involucran el uso de reglas de inferencia como modus ponens, modus tollens y dilemas constructivos. Cada ejercicio describe una situación y formula proposiciones lógicas para representarla. Se pide determinar si se puede concluir ciertas proposiciones usando las premisas dadas y las reglas de inferencia.

    Copyright:

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

    T Are A 7 Adrian Contreras

    Cargado por

    Adrián Casillas
    154 vistas5 páginas
    Este documento presenta tres ejercicios de lógica proposicional que involucran el uso de reglas de inferencia como modus ponens, modus tollens y dilemas constructivos. Cada ejercicio describe una situación y formula proposiciones lógicas para representarla. Se pide determinar si se puede concluir ciertas proposiciones usando las premisas dadas y las reglas de inferencia.

    Descripción original:

    calculo

    Título original

    t Are a 7 Adrian Contreras

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOC, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta tres ejercicios de lógica proposicional que involucran el uso de reglas de inferencia como modus ponens, modus tollens y dilemas constructivos. Cada ejercicio describe una situación y formula proposiciones lógicas para representarla. Se pide determinar si se puede concluir ciertas proposiciones usando las premisas dadas y las reglas de inferencia.

    Copyright:

    © All Rights Reserved
    Descargue como DOC, PDF, TXT o lea en línea desde Scribd
    Descargar como doc, pdf o txt
    154 vistas5 páginas

    T Are A 7 Adrian Contreras

    Cargado por

    Adrián Casillas
    Este documento presenta tres ejercicios de lógica proposicional que involucran el uso de reglas de inferencia como modus ponens, modus tollens y dilemas constructivos. Cada ejercicio describe una situación y formula proposiciones lógicas para representarla. Se pide determinar si se puede concluir ciertas proposiciones usando las premisas dadas y las reglas de inferencia.

    Copyright:

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

    Carrera:

    Ciclo: Cá lculo Proposicional


    Nombre del mó dulo: Lenguaje ló gico
    4.1 Reglas de inferencia
    Tema: 4.2 El método de resolució n.

    Nombre:
    tarea7

    Instrucción: Formaliza cada una de las deducciones contenidas en este documento demostrando su
    consistencia o inconsistencia, validez o invalidez, segú n sea el caso, utilizando las reglas de inferencia.
    Guarda tu archivo CP7TuprimernombreTuprimerapellido.doc y anéxalo como tarea.

    Ejercicio 1

    El inspector Logicus ha encontrado a una persona ahogada en un charco de agua


    de tres centímetros de profundidad. El inspector Logicus realiza la siguiente
    deducció n:

    i) Si una persona se ahoga en un charco de agua de tres centímetros de


    profundidad, entonces: o estaba inconsciente y boca abajo en el charco o se le
    estaba quemando el bigote y estaba intentando apagar la llama.

    ii) La persona habría quedado inconsciente solo si hubiese estado drogada.

    iii) La persona no tiene síntomas de haber estado drogada.

    iv) ¿Puede concluirse que se le quemaba el bigote?


    Podemos formalizar el problema de la siguiente manera:

    Sean p = Hay una persona ahogada en un charco de agua de 3 cm. de profundidad, i


    = estaba inconsciente, b = estaba boca abajo, q = se le quemaba el bigote, l = quería
    apagar la llama, y d = estaba drogada. ¿Puede concluirse que se le quemaba el
    bigote?

    H = [ p → ((i ∧b) ∨(q ∧l)), i → d, ~d] C= q


    i) p → ((i ∧ b) ∨ (q ∧ l))
    ii) i → d
    iii) ~d
    iv) q

    ¿Puede concluirse iv ?
    H= p → ((i ∧b) ∨ (q ∧l)), i → d, ~d, C=q

    H1=p → ((i ∧b) ∨ (q ∧l)) (Regla 26b Dilemas constructivos)


    H2= i → d (Regla 33 Silogismo hipotético)
    H3= ~d (Regla 18Absurdo)

    ~C= q (Regla 19Modus Ponendo Ponens)


    1. p → ((i ∧b) ∨ (q ∧l))
    2. i → d
    3. ~d
    4. q

    Resolviendo 2 y 3

    I→d (ABSURDO REGLA)

    5.=~ d

    Resolviendo 1 y 4.

    p → ((i ∧b) ∨ (q ∧l)) → q (Regla 19Modus Ponendo Ponens)


    6.= q
    7.={} Resolvente 1 y 4 El teorema es válido y se llega a la conclusión iv)=q
    Ejercicio 2

    i) Si un nú mero es menor o igual que un segundo nú mero y ese segundo nú mero es


    menor o igual que un tercer numero, entonces el primer nú mero no es mayor que
    el tercero.

    ii) Un nú mero “x” es menor o igual que otro “y”, si y solo si, “y” es mayor que “x” o
    “x” es igual a “y”.

    iii) Para cualquier nú mero “x”, se puede encontrar otro nú mero “y” tal que “x” es
    menor o igual que ”y”.

    iv) Por tanto: Todo nú mero es menor o igual que si mismo” Sean x e y cualesquier
    nú meros, A(x,y)=”x es menor o igual que y”, B(x,y)=”x es mayor que y”, y C(x,y) = ”x
    es igual a y”.

    i) ∀x ∀y ∀z: ( A(x, y) ∧ A(y, z) → ~B(x, z) )


    ii) ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨ C(x,y) ) )
    iii) ∀x ∃y: A(x,y)
    iv) ∀x: A(x, x)

    ¿Es posible concluir iv?


    H=∀x ∀y ∀z: ( A (x, y) ∧A(y, z) → ~B(x, z) ), ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨C(x,y) ) )
    , ∀x ∃y: A(x, y), C=∀x: A(x, x)
    H1=∀x ∀y ∀z: ( A (x, y) ∧A(y, z) → ~B(x, z) )
    H2=∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨C(x,y) ) )
    H3=∀x ∃y: A(x,y)
    ~C=∀x: A(x, x)
    1.= ∀x ∀y ∀z: ( A(x, y) ∧A(y, z) → ~B(x, z) ) Por la regla 20
    2.= ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨C(x,y) ) ) Por la regla 4b
    3.= ∀x ∃y: A(x,y)
    4.= ∀x: A(x, x)
    Resolviendo 1
    5.=∀x ( A(x, y) ↔ ( A(y, x) 1 por Eu.
    6.=∀x ( A(x, y) ~ B(x,z) 2 por Eu.
    7.=∀x ( A(y, z) ~ B(x,z) 3 por Sh
    8.=∀x ( A(x, y)∧( A(y, x) → B(y,x) 4 por Gu.
    9.= ∀x ∃y: A(x,y)→ A(y, x) 5 por composición
    10.= =∀x: A(x, x)
    11.={}

    Ejercicio 3

    i) Es necesario que Juan tenga trabajo para que le den un crédito.


    ii) Ademá s, Juan tiene trabajo o hace deporte solo si estudia.

    iii) Por tanto, si Juan no estudia, entonces no le dan un crédito.

    Sea p = Juan tiene trabajo, q = Juan obtiene un crédito, r = Juan hace deporte, s =
    Juan estudia.

    i) q → p
    ii) p ∨ r → s
    iii) ~s → ~q

    ¿Es posible concluir iii?


    H= q → p, p ∨r → s, C= ~s → ~q
    H1= q → p Silogismo hipotético regla 33
    H2= p ∨r → s Regla 16
    C=~s → ~q Regla 33

    Resolviendo
    1.= (q → p) ∧~ q → ~p Regla 31

    Resolviendo la 1
    2.=(~p∨~r)

    Resolviendo la 2
    3.= ~p∧q Regla 10ª
    4.= (p∨r) →s (~p→~s) (~q→~s) 27a
    5.=p∨(q∧r) ↔ (p∨q) ∧(p∨~s) Regla 4ª
    6.=(p∨q) ↔ ~s (~ p ∧~ q) Regla 8c
    7.=(~s → ~ q
    8.={}

    Referencias APA: Bykbaev, V. R. (2021). Reglas de inferencia lógica | Lógica proposicional.


    Reglas de inferencia.
    https://roa.cedia.edu.ec/webappscode/47/reglas_de_inferencia_lgica.html

    Colaboradores de Wikipedia. (2022, 15 marzo). Resolución (lógica). Wikipedia, la


    enciclopedia libre. https://es.wikipedia.org/wiki/Resoluci%C3%B3n_(l%C3%B3gica)

    Discretas, M. (2018, 2 junio). 6. LOGICA DE CUANTIFICADORES - Matemáticas


    Discretas. Medium. https://medium.com/@matematicasdiscretaslibro/6-logica-de-
    cuantificadores-d453d859dd20

    Expresar simbólicamente las proposiciones lógicas. (2021). preposiciones.


    https://leyeslogicasproposiciones.blogspot.com/p/logica-proposicional-blog-
    delogica_13.html

    También podría gustarte