TALLERES: PROPOSICIONES Y CONECTORES LOGICOS

El objetivo de estos talleres es fijar los conceptos vistos previamente

 

TALLER UNO

  1. Verifique los conceptos escribiendo con sus palabras lo que interpreta por cada uno:

     

    1. AND, NAND, OR, NOR, XOR y XNOR

    2. Operaciones entre conjuntos

    3. Intersección, unión, complemento, diferencia.

    4. Relaciones entre conjuntos.

    5. Relaciones entre los símbolos de un sistema

       

  2. Diseñe más ejemplos para cada uno de los conectores propuestos.

     

  3. Diseñe el diagrama de Venn y el circuito conmutacional correspondiente a la proposición condicional y a la bicondicional.

     

  4. Implemente en el laboratorio varios de los circuitos propuestos en los dos puntos anteriores.

     

  5. Elabore e implemente en el laboratorio el circuito conmutacional que represente:

    Una alarma de un carro se activa cuando estando encendido el motor una de las puertas esta abierta, el cinturón del conductor o copiloto no esta colocado estando el asiento respectivo ocupado o cuando las luces quedan encendidas cuando el carro está apagado.

     

TALLER DOS

  1. Hallar el valor de verdad de la proposición compuesta del ejemplo 3 (Sí pago de luz..) de la pagina Proposiciones y Conectores Logicos.

  2. Demostrar la veracidad de las equivalencias lógicas 7, 8 y 9 de la misma pagina.

  3. Halle las representaciones circuital y el diagrama de Venn de las proposiciones reciproca, inversa y contra recíproca de una condicional.

  4. Establecer en cada una de las siguientes proposiciones, cuáles son equivalencias lógicas, cuáles tautologías y cuáles contradicciones:

    1. p Ù q’

    2. (p’ Ú q)’

    3. p® q

    4. q® p

    5. p’® q’

    6. (p’ Ú q’)’

    7. p Ú (p Ù q)’

    8. (p Ù q) Ù (p Ú q)’

    9. (p® q) ® (p Ù q)

  1. Arme con frases de lenguaje las proposiciones del punto anterior utilizando cada una de las siguientes proposiciones simples:

    .p: La sumatoria de ángulos de un triangulo es de 180 grados

    .q: Un triangulo tiene tres lados

     

  2. De la condicional p ® q arme la frase correspondiente a las proposiciones reciproca, inversa y contra recíproca.

     

  3. Demuestre la veracidad de las siguientes equivalencias lógicas, con tablas de verdad y con la aplicación de las equivalencias básicas:

       

    1. (p Ú q) Ú (p Ù q)´ º p’

       

    2. p Ú (p Ù q) º p

       

    3. p’Ù q Ù s Ú p’ Ù q Ù s’ Ú p Ù q ’Ù s Ú p Ù q’ Ù s º p

     

  4. Exprese en diagramas de Venn todas las equivalencias de la sección y verifique su validez. De la misma forma proceda con el punto 4 y 7.

     

TALLER TRES

  1. Verifique la validez de los siguientes argumentos por 3 métodos diferentes

a. Sí estudio, no perderé mi curso de circuitos digitales.

Si no juego fútbol entonces estudio.

Pero perdí mi curso de circuitos digitales

__________________________

Por lo tanto, jugué fútbol

     

  1. Si trabajo no puedo estudiar.

    O trabajo, o paso mi curso de circuitos digitales.

    Trabajé

    __________________________

    Por lo tanto, pase mi curso de circuitos digitales

     

  2. Si x es par, entonces y no divide a z.

O j no es primo, ó y divide a z

.x es primo

__________________________

\x es impar

     

  1. Demuestre por tablas las implicaciones lógicas (12 a 20) de la pagina Proposiciones y Conectores Logicos:

     

  2. Precise los siguientes conceptos

    1. Predicado

    2. Silogismo

    3. Razonamiento

    4. Inferencia

    5. Demostración

     

  1. Con las siguientes proposiciones:

    p: José lee el Tiempo

    q: José lee el Espectador

    r: José lee el Espacio

    g: Leer genera un amplio bagaje cultura

    h: La lectura afianza la inteligencia

    i: Los científicos son inteligentes

    j: Los profesores de la universidad investigan

    k Los investigadores leen

    l: La democracia no tiene nada que ver con procesos electorales

    m: La autonomía universitaria no es económica

    n: Los países subdesarrollados son felices

    Escriba diversos argumentos y demuestre su validez.

     

Volver al Indice

 

Hosted by www.Geocities.ws

1