Help
Options
Didn't know it?
click below
click below
Knew it?
click below
click below
Don't Know
Remaining cards (0)
Know
retry
shuffle
restart
0:00
Embed Code - If you would like this activity on your web page, copy the script below and paste it into your web page.
Normal Size Small Size show me how
Normal Size Small Size show me how
Logica
Logica 1º de Grado Ing Informatica
| Question | Answer |
|---|---|
| Que es una variabe | Una variable es una particula atomica que define un objeto indefinido |
| Diferencias entre funcion & predicado | Funcion-> Representa al CONCEPTO, argumentos Predicado-> Representa la RELACION entre elementos, terminos |
| Definicion de Logica | Es la ciencia que estudia los razonamientos formalmente validos |
| Que es la solidez | Es el calculo deductivo para generar formulas validas |
| Definicion de Formula Normal | Las FN son expresiones que se consideran patrones sobre los que dirigir el estudio de la logica |
| Definicion de Conjunto | Coleccion no ordenada de elementos |
| Definicion de Lenguaje Formal | Sistema formado por una coleccion de simbolos primitivos (alfabeto) y una serie de reglas (sintaxis) para conectarlos |
| Definicion de f.b.f | Expresion resultante de aplicar las reglas gramaticales |
| Definicion de razonamiento |- | Serie de conceptos encaminados a demostrar algo o a persuadir o mover a oyentes o lectores |
| Razonamiento inductivo vs Razonamiento deductivo | Inductivo -->conclusiones GENERALES desde premisas FINITAS Deductivo -->premisas GENERALES sacamos conclusiones PARTICULARES |
| Definicion de interpretacion/asignacion | Es una funcion (v1) que asigna a cada formula atomica una constante {V/F} |
| Definicion de Orden debil | Reflexiva Asimetrica Transitiva |
| Definicion de Orden Estricto | Ireflexiva Antisimetrica Transitiva |
| Definicion de Relacion de Equivalencia | Reflexiva Simetrica Transitiva |
| Definicion de arbol semantico | Representacion de interpretaciones # p ¬p | | V V |
| Definicion de Tableaux | Saber que interpretacion es valida |
| Decidible Semidecidible Indecidible | Procedimiento para determinar la consistencia & inconsistencia Procedimiento para determinar la inconsistencia y a veces la consistencia NADA |
| Diferencias entre |= y |- | |= trabajamos con la interpretacion de los atomos |- trabajamos con las reglas de inferencia |
| FNC vs FND | FNC solo sirve para saber si es TAUTOLOGIA FND solo sirve para saber si es CONTRADICCION |
| Porque es necesario L1 | Porque L1 tiene mayor capacidad expresiva que L0 |
| 5 estrategis de Deduccion Natural | Deduccion directa Prueba por casos tº de la deduccion reduccion al absurdo Demostracion de teoremas |
| Principio de la no contradiccion | Una proposicion no puede ser V y F a la vez |
| Principio del 3º excluido | Una proposicion debe ser V o F |
| Argumentacion logica valida | Es un conjunto de premisas seguido de una conclusion |
| Cuantos tipos de oraciones logicas existen? | Satisfacible Contingencia Contradiccion Tautologia |
| Definicion de termino en L1 | Cadena de simbolos que representan los individuos |
| Definicion de proposicion | Es el significado de una oracion declarativa |
| Logica Proposicional vs Logica de predicados | Proposicional-> proposiciones como elementos atomicos Predicados-> considera lo que afirma cada objeto |
Created by:
edgano
Popular Computers sets