Argumentos Flashcards
¿Qué es un argumento?
una secuencia estructurada de afirmaciones que terminan en una conclusion
¿Cuándo un argumento es válido?
Cuando la conclusión se deduce de los hechos que la preceden
¿Como se le llama a las afirmaciones?
premisas, suposiciones o hipótesis
¿Como se llama la declaración final?
conclusion
¿Que es el método de deducción natural?
construir un argumento para un conjunto de premisas y una conclusion
¿En que se basa el método de deducción natural?
reglas de inferencia
¿Qué es una regla de inferencia?
forma lógica que contiene una función ue toma de entrada premisas, analiza su sintaxis y retorna una conclusión
una regla de inferencia es a su vez…
un argumento
¿Qué es la demostracion?
argumento válido construido para la proposicion
¿Que es un teorema?
proposicion que es posible demostrarla
¿Que es un lema?
proposicion si es un teorema y posteriormente se usa como una regla de inferencia
¿Que es corolario?
proposicion si es teorema y es posible construir una demostracion corta donde el teorema se use como una regla de inferencia
¿Qué es una conjentura?
no ha sido posible construir una demostracion para ella pero en sustituciones se ha evaluado en verdadero
