Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Unidad 1 Tarea 3 - Docente

    Cargado por

    Valenciaanthon 29
    109 vistas5 páginas
    Este documento presenta una tarea sobre pensamiento crítico y juicio reflexivo. Consiste en construir pruebas formales de validez de 10 ejercicios lógicos utilizando las reglas de modus ponens, teorema de deducción, simplificación y producto. Se provee una rúbrica para evaluar el uso adecuado de cada regla lógica. El estudiante debe completar la actividad y enviar un archivo PDF con su nombre y apellidos y la asignatura.

    Descripción original:

    Título original

    Unidad 1 Tarea 3_Docente

    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?

    Denunciar este documento
    Este documento presenta una tarea sobre pensamiento crítico y juicio reflexivo. Consiste en construir pruebas formales de validez de 10 ejercicios lógicos utilizando las reglas de modus ponens, teorema de deducción, simplificación y producto. Se provee una rúbrica para evaluar el uso adecuado de cada regla lógica. El estudiante debe completar la actividad y enviar un archivo PDF con su nombre y apellidos y la asignatura.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    Descargar como pdf o txt
    109 vistas5 páginas

    Unidad 1 Tarea 3 - Docente

    Cargado por

    Valenciaanthon 29
    Este documento presenta una tarea sobre pensamiento crítico y juicio reflexivo. Consiste en construir pruebas formales de validez de 10 ejercicios lógicos utilizando las reglas de modus ponens, teorema de deducción, simplificación y producto. Se provee una rúbrica para evaluar el uso adecuado de cada regla lógica. El estudiante debe completar la actividad y enviar un archivo PDF con su nombre y apellidos y la asignatura.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    Descargar como pdf o txt
    de 5

    Tarea #3

    Pensamiento crítico y
    juicio reflexivo
    Pensamiento Crítico

    Actividades
    Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)

    Descripción de la actividad
    Construya una prueba formal de validez de cada uno de los ejercicios presentados con el empleo
    de las cuatro primeras reglas básicas de la deducción: Modus ponens, Teorema de la deducción,
    Simplificación, Producto.

    Bibliografía: No aplica

    Extensión máxima: Completar la actividad (Times New Roman o Calibri Light, tamaño 12 e
    interlineado 1,5).

    Nombre del fichero: “primerApellido_primerNombre_siglasAsignatura_U#”, ejemplo:


    Lopez_Juan_ComSisElecRedElecInt_U1

    Formato de archivo a subir: PDF.

    Ejercicios:

    a)

    _1. A → (B ∧ C)

    _2. B → (D ∧ E)

    _3. X → Y

    _4. Y → (Z ∧ W) ˫ (A → E) ∧ (X → W)

    b)

    _1. A → [B → (C → D)]

    Universidad Politécnica Salesiana


    2
    Pensamiento Crítico

    _2. X → (Y ∧ W)

    _3. X

    _4. X → (Z ∧ T) ˫ B → {[C →(A → D)] ∧ (Y ∧ Z)}

    c)

    _1. (Y ∧ Z) → D

    _ 2. Y ∧ Z

    _ 3. (Y ∧ Z) → T

    _ 4. W → Z ˫ W → [Z ∧ (D ∧ T)]

    d)

    _1. E → (F ∧ G)

    _ 2. (C ∧ A) → B

    _ 3. F → [(D ∧ C) ∧ A] ˫ E → (D ∧ B)

    e)

    _1. (¬ J v ¬ ¬ J) → (I ∧ H)

    _2. ¬ (¬ J v ¬ ¬ J) → (I ∧ K)

    _3. (¬ J v ¬ ¬ J) ∧ ¬ (¬ J v ¬ ¬ J) ˫ I → (H ∧ K)

    f)

    _1. U ∧ P

    Universidad Politécnica Salesiana


    3
    Pensamiento Crítico

    _2. W ∧ O

    _3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]

    g)

    _1. P → Q

    _2. Q → (R ∧ T)

    _3. (R ∧ T) → S

    _4. S → (T v S)

    _5. Q ˫ [(P ∧ R) → [(T v S)] ∧ Q]

    h)

    _1. R v S

    _2. T → [P → (¬ Q v R)] ∧ S

    _3. [P → (¬ Q v R) ∧ S] → {(R v S) → [¬ S → (P → R)]}

    _4. Q ˫ {(T ∧ M) → [¬ S → (P → R)]} ∧ Q

    i)

    _1. P → (Q ∧ R)

    _2. Q → [(S v T) → (R ∧ S)]

    _3. [(S v T) → (R ∧ S)] → W

    _ 4. S ˫ (P ∧ S) → (W ∧ S)

    Universidad Politécnica Salesiana


    4
    Pensamiento Crítico

    j)

    _1. (B ∧ C) → (A ∧ C)

    _2. (C ∧ B) → (R ∧ S) ˫ C → [B → (A ∧ S)]

    Rúbrica:
    Criterios Nivel Bajo Nivel Medio Nivel Alto Sub-Puntajes

    Construye la 1 punto 3 puntos 6 puntos 6


    demostración de validez
    Emplea adecuadamente el 0,25 puntos 0,5 puntos 1 punto 1
    Modus Ponens
    Emplea adecuadamente el 0,25 puntos 0,5 puntos 1 punto 1
    Teorema de la deducción
    Emplea adecuadamente la 0,25 puntos 0,5 puntos 1 punto 1
    simplificación
    Emplea adecuadamente la 0,25 puntos 0,5 puntos 1 punto 1
    conjunción
    Totales 10

    Universidad Politécnica Salesiana


    5

    También podría gustarte