Busy. Please wait.
or

show password
Forgot Password?

Don't have an account?  Sign up 
or

Username is available taken
show password

why


Make sure to remember your password. If you forget it there is no way for StudyStack to send you a reset link. You would need to create a new account.
We do not share your email address with others. It is only used to allow you to reset your password. For details read our Privacy Policy and Terms of Service.


Already a StudyStack user? Log In

Reset Password
Enter the associated with your account, and we'll email you a link to reset your password.

Remove ads
Don't know
Know
remaining cards
Save
0:01
To flip the current card, click it or press the Spacebar key.  To move the current card to one of the three colored boxes, click on the box.  You may also press the UP ARROW key to move the card to the "Know" box, the DOWN ARROW key to move the card to the "Don't know" box, or the RIGHT ARROW key to move the card to the Remaining box.  You may also click on the card displayed in any of the three boxes to bring that card back to the center.

Pass complete!

"Know" box contains:
Time elapsed:
Retries:
restart all cards




share
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

Logica

Logica 1º de Grado Ing Informatica

QuestionAnswer
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