Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 23 vistas

    Taller 1

    Cargado por

    anyi rosana
    Este documento presenta un taller de lógica y razonamiento con 6 preguntas. La primera pregunta trata sobre el uso de la palabra "éter" en un diálogo. Las preguntas 2 y 3 identifican si ciertos enunciados están siendo usados u mencionados. La pregunta 4 define un sistema formal y sus reglas de inferencia. Las preguntas 5 y 6 piden demostrar derivaciones en este sistema.

    Copyright:

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

    Taller 1

    Cargado por

    anyi rosana
    23 vistas1 página
    Este documento presenta un taller de lógica y razonamiento con 6 preguntas. La primera pregunta trata sobre el uso de la palabra "éter" en un diálogo. Las preguntas 2 y 3 identifican si ciertos enunciados están siendo usados u mencionados. La pregunta 4 define un sistema formal y sus reglas de inferencia. Las preguntas 5 y 6 piden demostrar derivaciones en este sistema.

    Título original

    TALLER 1

    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 un taller de lógica y razonamiento con 6 preguntas. La primera pregunta trata sobre el uso de la palabra "éter" en un diálogo. Las preguntas 2 y 3 identifican si ciertos enunciados están siendo usados u mencionados. La pregunta 4 define un sistema formal y sus reglas de inferencia. Las preguntas 5 y 6 piden demostrar derivaciones en este sistema.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    23 vistas1 página

    Taller 1

    Cargado por

    anyi rosana
    Este documento presenta un taller de lógica y razonamiento con 6 preguntas. La primera pregunta trata sobre el uso de la palabra "éter" en un diálogo. Las preguntas 2 y 3 identifican si ciertos enunciados están siendo usados u mencionados. La pregunta 4 define un sistema formal y sus reglas de inferencia. Las preguntas 5 y 6 piden demostrar derivaciones en este sistema.

    Copyright:

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

    DOCENTE OSCAR DANILO BEDOYA TOBAR E- MAIL profeoscardanilo@yahoo.

    com
    ASIGNATURA LÓGICA Y RAZONAMIENTO PROG. ACADEM. Administración en Salud
    ACTIVIDAD TALLER 1 GRUPO S141C FECHA 11 MARZO 2021

    Carlos: Estoy convencido, de la existencia del éter como fundamento de las teorías de la transmisión
    eléctrica y calórica.
    Jorge: No puedo admitir tu afirmación a menos que me expliques qué entiendes por la palabra ‘éter'.
    1. En el diálogo anterior,
    a. ¿Carlos está usando o mencionando la palabra ‘éter'?
    b. ¿Jorge, está usando o mencionando la palabra ‘éter'?
    2. En cada una de las siguientes frases, decir si el enunciado ‘Levántate ya' está usado o mencionado.
    a. ‘Levántate ya' se utiliza para hacer una petición o para emitir un orden.
    b. Levántate ya.
    c. No se lo que quieres decir mediante ‘Levántate ya'.
    3. Decir, en cada uno de los siguientes casos, si el enunciado ‘La paz es un compromiso de todos'
    está usado o mencionado:
    a. La paz es un compromiso de todos, en todas las circunstancias.
    b. Las palabras La paz es un compromiso de todos expresan una proposición verdadera.
    c. El enunciado ‘La paz es un compromiso de todos' se usa específicamente para motivar el
    compromiso social frente a la paz.
    4. Definimos un sistema formal z así:
    Alfabeto: s t
    Fórmulas: toda cadena finita de símbolos del alfabeto de z es una fbfs, ninguna otra cosa es una
    fbfs en z.
    Reglas de inferencia:
    R.I.1.: toda palabra puede duplicarse.
    R.I.2.: Elimine tt de la palabra, siempre y cuando no se elimine la cadena totalmente.
    R.I.3.: La cadena ‘sss' puede sustituirse por ‘t' en cualquier palabra.
    R.I.4.: Añada ‘t' a la derecha de la palabra actual si la última letra es ‘s'.
    R.I.5.: Estas son las únicas reglas de inferencia en z.
    Dada la palabra sstts , cuáles de las siguientes palabras se derivan de ella, indique explícitamente las
    reglas utilizadas.
    a. t
    b. tt
    c. tttt
    d. s
    5. Demuestre que tst se deriva de s.
    6. Demuestre que ttst se deriva de s.

    También podría gustarte