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 Razoцитує10 місяців тому
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 Razoцитує10 місяців тому
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 Caballeroцитує4 роки тому
Los lógicos llaman a cada expresión gramaticalmente bien formada una “fórmula”
Raul Caballeroцитує4 роки тому
Usaremos letras griegas como signos fuera del sistema (meta variables) para poder hablar de las expresiones de este de manera general
Raul Caballeroцитує4 роки тому
pación (, ). A los signos , →, ٨, ٧, ↔se les llama en su orden
Raul Caballeroцитує4 роки тому
indicamos justo debajo del operador principal cuál es ese operador, trazamos una rama hacia abajo que termine en la fórmula afectada
Raul Caballeroцитує4 роки тому
Un operador tiene un “alcance”, esto es, un grupo de fórmulas que se encuentran a su lado y que afecta gramaticalmente
Raul Caballeroцитує4 роки тому
una constante principal y unos componentes
Raul Caballeroцитує4 роки тому
desde su constante lógica principal, hasta sus variables proposicionales componentes.