bookmate game
es
Böcker
Alfonso Cabanzo

Lógica básica

  • guecrishar citerati fjol
    La lógica es la ciencia que busca las leyes que determinan cuándo un argumento es correcto y cuándo no. Un argumento es un conjunto de oraciones asertivas que justifican, prueban o dan razón de otra. A las primeras, las llamamos premisas y a la última, conclusión.
  • Emmanuel Razohar citerati fjol
    el existencial es una disyunción entre todos los objetos de un conjunto, el cuantificador universal en una conjunción entre todos los elementos de un conjunto
  • Emmanuel Razohar citerati fjol
    acto de habla (Searle, 1994). Es la producción, por parte de un emisor, de una sentencia, en un determinado contexto, con una determinada intención. Está constituido por una fuerza y por un contenido proposicional.
  • Raul Caballerohar citeratför 5 år sedan
    Los lógicos llaman a cada expresión gramaticalmente bien formada una “fórmula”
  • Raul Caballerohar citeratför 5 år sedan
    Usaremos letras griegas como signos fuera del sistema (meta variables) para poder hablar de las expresiones de este de manera general
  • Raul Caballerohar citeratför 5 år sedan
    pación (, ).
    A los signos , →, ٨, ٧, ↔se les llama en su orden
  • Raul Caballerohar citeratför 5 år sedan
    indicamos justo debajo del operador principal cuál es ese operador, trazamos una rama hacia abajo que termine en la fórmula afectada
  • Raul Caballerohar citeratför 5 år sedan
    Un operador tiene un “alcance”, esto es, un grupo de fórmulas que se encuentran a su lado y que afecta gramaticalmente
  • Raul Caballerohar citeratför 5 år sedan
    una constante principal y unos componentes
  • Raul Caballerohar citeratför 5 år sedan
    desde su constante lógica principal, hasta sus variables proposicionales componentes.
fb2epub
Dra och släpp dina filer (upp till fem åt gången)