- -

Listar por palabra clave "Logica"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Logica"

Ordenar por:Orden:Resultados:

  • thumb
    Cuantificadores en Lógica de predicados 
    Jordan Lluch, Cristina (Universitat Politècnica de València, 2021-06-14)
    En este vídeo se analiza como leer, interpretar y utilizar los cuantificadores universal. Se ponen ejemplos y se hacen recomendaciones y advertencias acerca de su utilización.
  • thumb
    Demostración por contradicción aplicando tablas de verdad 
    Hervás Jorge, Antonio (Universitat Politècnica de València, 2013-07-08)
    En este objeto se presenta una adaptación del método de demostración por contradicción o reducción al absurdo para logica de enunciados o lógica proposicional, que se desarrolla utilizando una tabla de verdad.
  • thumb
    Ejercicios sencillos de simbolización en Lógica de predicados 
    Jordan Lluch, Cristina (2021-06-29)
    En este vídeo se plantean ejemplos de simbolización en Lógica de predicados que se resuelven con todo detalle.
  • thumb
    Equivalencias de la Lógica de predicados 
    Jordan Lluch, Cristina (Universitat Politècnica de València, 2021-06-14)
    En este vídeo se presentan, apoyándose en ejemplos, diferentes equivalencias , relativas al uso de los cuantificadores universal y existencial, de la Lógica de predicados.
  • thumb
    Inferencia en lógica de predicados 
    Jordan Lluch, Cristina (Universitat Politècnica de València, 2021-06-23)
    En este vídeo se presentan las leyes de inferencia en Lógica de predicados y el proceso a seguir para realizar dicha inferencia. Se propone un ejemplo que se analiza con todo detalle..
  • thumb
    Lógica proposicional 
    Hervás Jorge, Antonio (Universitat Politècnica de València, 2013-06-21)
    En este objeto se introducen los conceptos básicos de la logica proposicional con sus elementos, sus conectores y las tablas de verdad.
  • thumb
    Métodos de demostración 
    Hervás Jorge, Antonio (Universitat Politècnica de València, 2013-07-08)
    En este objeto se presentan los métodos de demostración más comunes que se utilizan en Lógica de Enunciados, también llamada Lógica Proposicional.
  • thumb
    Primeros pasos en la simbolización en Lógica de predicados 
    Jordan Lluch, Cristina (Universitat Politècnica de València, 2021-06-09)
    En este vídeo se dan los primeros pasos, utilizando ejemplos antes de la formalización matemática, de la simbolización en Lógica de predicados.
  • thumb
    Reglas aristotélicas de la Lógica de predicados 
    Jordan Lluch, Cristina (Universitat Politècnica de València, 2021-06-14)
    En este vídeo se presentan las reglas aristotélicas, básicas para la simbolización en Lógica de predicados. Se plantean y resuelven diferentes ejercicios para facilitar su aprendizaje.