Logica 1º de Grado Ing Informatica
Quiz yourself by thinking what should be in
each of the black spaces below before clicking
on it to display the answer.
Help!
|
|
||||
---|---|---|---|---|---|
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
🗑
|
Review the information in the table. When you are ready to quiz yourself you can hide individual columns or the entire table. Then you can click on the empty cells to reveal the answer. Try to recall what will be displayed before clicking the empty cell.
To hide a column, click on the column name.
To hide the entire table, click on the "Hide All" button.
You may also shuffle the rows of the table by clicking on the "Shuffle" button.
Or sort by any of the columns using the down arrow next to any column heading.
If you know all the data on any row, you can temporarily remove it by tapping the trash can to the right of the row.
To hide a column, click on the column name.
To hide the entire table, click on the "Hide All" button.
You may also shuffle the rows of the table by clicking on the "Shuffle" button.
Or sort by any of the columns using the down arrow next to any column heading.
If you know all the data on any row, you can temporarily remove it by tapping the trash can to the right of the row.
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
Created by:
edgano
Popular Computers sets