Tema 2: Métodos de Deducción para la Lógica Proposicional
|
|
- Valentín Valverde Duarte
- hace 7 años
- Vistas:
Transcripción
1 Tema 2: Métodos de Deducción para la Lógica Proposicional Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso LC, Métodos de Deducción 2.1
2 Contenido Formas normales Equivalencia Sustitución Formas normales Tableros Fomulas α y β Tableros completos Sistemas deductivos Resolución Cláusulas La regla de resolución Saturación Estrategias de resolución LC, Métodos de Deducción 2.2
3 Equivalencia Dos fórmulas F 1, F 2 son equivalentes (F 1 F 2 ) si, para toda valoración v, v(f 1 ) = v(f 2 ). Es decir, F 1 F 2 si F 1 y F 2 tienen los mismos modelos. F 1 F 2 si y sólo si F 1 = F 2 y F 2 = F 1 Ejemplos: Cualesquiera dos fórmulas insatisfactibles son equivalentes. Dos tautologías cualesquiera son equivalentes. LC, Métodos de Deducción 2.3
4 Equivalencias (I) Sean A, B PROP. Se tienen las siguientes equivalencias: Conmutatividad: A B B A y A B B A Asociatividad: A (B C) (A B) C y A (B C) (A B) C Distributividad: Doble negación: A A Leyes de De Morgan: A (B C) (A B) (A C) A (B C) (A B) (A C) (A B) A B y (A B) A B LC, Métodos de Deducción 2.4
5 Equivalencias (II) Idempotencia: A A A y A A A Absorción: A (A B) A y A (A B) A Leyes de tautología: Si A es una tautología, entonces A B B y A B A Leyes de inconsistentes: Si A es insatisfactible, entonces A B A y A B B LC, Métodos de Deducción 2.5
6 Sustitución Dadas A, B PROP si A es una subfórmula de B y A PROP, la sustitución de A por A en B es la fórmula que se obtiene al cambiar cada aparición de A en B por A. Usaremos como notación para la sustitución: B{A/A }. Si A no es una subfórmula de B, por definición B{A/A } es B. Ejemplos: Si B es p q r s entonces: B{r s/p} es p q p. B{q r/q} es p q r s. B{q r s/p r} es p p r. B{p q/p} es p q r s. Si C es la fórmula (p q) (r p q), entonces C{p q/t} es t (r t). C{p q/t p q} es (t p q) (r (t p q)) LC, Métodos de Deducción 2.6
7 El Teorema de sustitución Teorema de Sustitución. Sean B PROP y A, A PROP tales que A A. Entonces B{A/A } B El teorema de sustitución nos permite manipular algebraicamente una fórmula F para obtener otra fórmula más simple y equivalente a F. Este proceso es similar al empleado en la simplificación de expresiones algebraicas. Ejemplo: B (A (A B)) B (A ( A B)) B (A A) (A B) B (A B) B LC, Métodos de Deducción 2.7
8 Literales Una fórmula F es un literal si es una variable proposicional o la negación de una variable proposicional. Dos literales, L 1 y L 2, son complementarios (y decimos que uno es el complementario del otro) si L 1 es p y L 2 es p. Lema 1. Sean L 1,..., L n literales. Son equivalentes: n 1. L i es una tautología. i=1 2. {L 1,..., L n } contiene un par de literales complementarios. Lema 2. Sean L 1,..., L n literales. Son equivalentes: n 1. L i es inconsistente. i=1 2. {L 1,..., L n } contiene un par de literales complementarios. LC, Métodos de Deducción 2.8
9 Formas normales Una fórmula está en Forma normal conjuntiva (FNC) si es una conjunción de disyunciones de literales; n m i F = i=1 j=1 Una fórmula está en Forma normal disjuntiva (FND) si es una disyunción de conjunciones de literales; n m i F = i=1 j=1 L i,j L i,j LC, Métodos de Deducción 2.9
10 Formas normales (II) Lema: Una fórmula en forma normal conjuntiva es una tautología syss cada una de sus disyunciones es una tautología. Una fórmula en forma normal disjuntiva es insatisfactible syss cada una de sus conjunciones es insatisfactible. Teorema. Para toda fórmula G existe F en FNC tal que F G. Para toda fórmula G existe F en FND tal que F G. LC, Métodos de Deducción 2.10
11 Paso a forma normal Procedimiento para transformar G en FNC: 1. Eliminar todas las implicaciones usando: A B A B y A B (A B) (B A) 2. Trasladar las negaciones, mediante las leyes de Morgan: (A B) A B y (A B) A B 3. Eliminar negaciones dobles usando A A. 4. Convertir a FNC utilizando la ley distributiva: A (B 1 B 2 ) (A B 1 ) (A B 2 ) Para pasar a FND utilizamos la ley distributiva: A (B 1 B 2 ) (A B 1 ) (A B 2 ) LC, Métodos de Deducción 2.11
12 Ejemplo ( p q) (q r) p ( p q) ((q r) p) ( p q) (q r) p p q ( q r) p p q (( q p) ( r p)) (p q q p) (p q r p) ( q p) ( q r p) Hemos eliminado literales repetidos en una misma cláusula gracias a la equivalencia: A A A (En la FND utilizaríamos la equivalencia A A A). LC, Métodos de Deducción 2.12
13 Algoritmo de satisfactibilidad mediante FND Entrada: Una fórmula F. Salida: Satisfactible, si F es satisfactible; Insatisfactible, en caso contrario. Procedimiento Calcular una FND de F, FND(F ) G = G 1 G n FND(F ) para i = 1 hasta n si en G i no ocurren literales complementarios, entonces devolver satisfactible, parar devolver insatisfactible LC, Métodos de Deducción 2.13
14 Algoritmo de validez mediante FNC Entrada: Una fórmula F Salida: Tautologia, si F es una tautología; No-tautologia, en caso contrario. Procedimiento Calcular una FNC de F, FNC(F ) G = G 1 G n FNC(F ) para i = 1 hasta n si en G i no ocurren literales complementarios, entonces devolver No-tautologia; parar devolver Tautologia LC, Métodos de Deducción 2.14
15 Ejemplos F 1 = (p q) (q r) p. Su forma normal conjuntiva es ( p q q p) ( p q r p) Es tautología (y por tanto satisfactible) F 2 = (p q) (p q). Su forma normal disyuntiva es: Es satisfactible. Su forma normal conjuntiva es No es tautología. ( p q) p q ( p q) ( q p q) LC, Métodos de Deducción 2.15
16 Tableros Semánticos Gracias a la FND sabemos que la satisfactibilidad de una fórmula puede reducirse a la de ciertos conjuntos de literales. El método de los tableros semánticos organiza de manera sistemática la búsqueda de modelos, reduciendo la satisfactibilidad de las fórmulas consideradas a la de ciertos conjuntos de literales. El método de tableros semánticos: 1. Clasifica las fórmulas en dos clases: Las fórmulas α, que se comportan como conjunciones Las fórmulas β, que se comportan como disyunciones 2. Asocia a cada fórmula, F, otras dos fórmulas más sencillas (sus componentes) de modo que la satisfactibilidad de F se reduce a la de sus componentes. LC, Métodos de Deducción 2.16
17 Fórmulas de tipo α Las fórmulas de tipo α son las siguientes: α α 1 α 2 F F F 1 F 2 F 1 F 2 (F 1 F 2 ) F 1 F 2 (F 1 F 2 ) F 1 F 2 F 1 F 2 F 1 F 2 F 2 F 1 Las fórmulas α 1 y α 2 son las componentes de α. Si F es de tipo α, entonces F α 1 α 2. Para satisfacer una fórmula de tipo α es necesario y suficiente satisfacer simultáneamente sus dos componentes α 1 y α 2. LC, Métodos de Deducción 2.17
18 Fórmulas de tipo β Las fórmulas de tipo β son las siguientes: β β 1 β 2 F 1 F 2 F 1 F 2 (F 1 F 2 ) F 1 F 2 (F 1 F 2 ) F 1 F 2 (F 1 F 2 ) (F 1 F 2 ) (F 2 F 1 ) Las fórmulas β 1 y β 2 son las componentes de β. Si F es de tipo β, entonces F β 1 β 2 Para satisfacer una fórmula de tipo β sólo es necesario y suficiente satisfacer una de sus componentes β 1 y β 2. LC, Métodos de Deducción 2.18
19 Reglas α y β Reducen la consistencia de un conjunto de fórmulas U a la de otro conjunto U formado por fórmulas más sencillas. Regla α: Si F U es de tipo α, entonces U consistente (U {F }) {α 1, α 2 } consistente Regla β: Si F U es de tipo β, entonces U consistente (U {F }) {β 1 } consistente o (U {F }) {β 2 } consistente LC, Métodos de Deducción 2.19
20 Ejemplo La fórmula q p (p (q p)) es insatisfactible: q p (p (q p)) q, p (p (q p)) q, p, (p (q p)) q, p, p q, p, q p q, p, q q, p, p LC, Métodos de Deducción 2.20
21 Construcción de un tablero completo Un tablero para {A 1,..., A n } es un árbol T, con nodos etiquetados por conjuntos de fórmulas, tal que: La raíz r de T está etiquetado por U(r) = {A 1,... A n }. Para cada nodo l de T, con etiqueta U(l), no marcado, hacer: 1. Si U(l) es un conjunto de literales, entonces: 1.1 Si existe un par de literales complementarios en U(l), marcar con (y se denomina hoja cerrada). 1.2 Si no existe tal par, marcar con (hoja abierta). 2. Si U(l) no es un conjunto de literales, elegir A de U(l) no literal. 2.1 Si A es una α fórmula, entonces añadir un hijo l de l con U(l ) = (U(l) \ {A}) {α 1, α 2} (α 2 puede no existir). 2.2 Si A es una β fórmula, entonces añadir dos hijos l, l con etiquetas U(l ) = (U(l) \ {A}) {β 1} y U(l ) = (U(l) \ {A}) {β 2} LC, Métodos de Deducción 2.21
22 Propiedades de los tableros La construcción siempre termina. El tablero final se denomina tablero completo. Un tablero T es cerrado si todas sus hojas son cerradas. En otro caso es abierto. Corrección y Completitud Sea S un conjunto de fórmulas, y T un tablero completo para S. Corrección: Si T es cerrado, entonces S es inconsistente. Completitud: Si S es inconsistente, entonces T es cerrado. {A 1,..., A n } admite un tablero abierto si y sólo si es un conjunto consistente. Además la rama abierta define un modelo: Si U es la etiqueta de la hoja abierta, v(p) = 1 si p U ó p / U, y v(p) = 0 si p U. LC, Métodos de Deducción 2.22
23 Ejemplo de consistencia: p q (p ((q r) (p r))) p, q (p ((q r) (p r))) p, q, p ((q r) (p r)) p, q, p p, q, (q r) (p r) p, q, (q r) p, q, p r p, q, r p, q, r Induce v(p) = v(r) = 1, v(q) = 0 LC, Métodos de Deducción 2.23
24 Consecuencia lógica {A 1,... A n } = A {A 1,..., A n, A} admite un tablero cerrado. Por ejemplo, {p q, q r s} = p s. p q, q r s, (p s) p q, q r s, p, s p, q r s p, s q, q r s, p, s q, (q r), p, s q, s, p, s q, q, r, p, s LC, Métodos de Deducción 2.24
25 Pruebas formales Los tableros semánticos proporcionan un algoritmo para la deducción basado en este hecho: {A 1,..., A n } = A {A 1,..., A n, A} inconsistente Un enfoque más natural del problema básico (PB) se obtiene a través de la noción de demostración: 1. Consideramos el conjunto de enunciados, BC, como un conjunto de axiomas (o hipótesis que asumimos como ciertas inicialmente). 2. El enunciado φ será consecuencia de BC si podemos obtener una demostración de φ a partir de BC (de manera similar a como en matemáticas se demuestra un teorema). LC, Métodos de Deducción 2.25
26 Sistemas deductivos Un sistema deductivo, T, (o teoría proposicional) consta de: Un conjunto, Ax(T), de fórmulas proposicionales que llamamos los axiomas de T. Reglas de inferencia de la forma: A 1,..., A n A siendo A 1,..., A n, A fórmulas proposicionales. Las fórmulas A 1,..., A n se denominan premisas y la fórmula A conclusión. LC, Métodos de Deducción 2.26
27 Pruebas y teoremas Una demostración en T es una sucesión de fórmulas proposicionales A 1,..., A k cada una de las cuales es un axioma de T, o bien, se obtiene a partir de fórmulas anteriores de la sucesión mediante una regla de inferencia. Una fórmula A es un teorema de T, T A, si existe una demostración en T, A 1,..., A k tal que A = A k. La sucesión A 1,..., A k se denomina una demostración de A en T. LC, Métodos de Deducción 2.27
28 Ejemplo Axiomas de T: {p, q, p q ( s p r)} Reglas de inferencia: (A y B fórmulas cualesquiera) I : A, B A B I : A A B C : A B B A MP : A, A B B LC, Métodos de Deducción 2.28
29 Ejemplo (bis) La siguiente sucesión es una demostración de r en T; luego T r 1. p [[Hip.]] 2. q [[Hip.]] 3. p q [[I aplicada a 1. y 2.]] 4. p q ( s p r) [[Hip.]] 5. s p r [[MP aplicada a 3. y 4.]] 6. p s [[I aplicada a 1.]] 7. s p [[C aplicada a 6.]] 8. r [[MP aplicada a 7. y 5.]] LC, Métodos de Deducción 2.29
30 Cláusulas Una cláusula es una disyunción de literales L 1 L n. Dada una valoración v y una cláusula L 1 L n se tiene: v = L 1 L n Existe i = 1,..., n tal que v = L i Por tanto, el valor de verdad de L 1 L n no depende ni del orden en que aparecen los literales ni de posibles repeticiones de literales. En consecuencia, identificamos la cláusula L 1 L n con el conjunto de literales {L 1,... L n }. Caso especial: la cláusula vacía, correspondiente al conjunto de literales vacío. La denotamos por. Por definición, para toda valoración, v, se tiene v( ) = 0. Notación: El literal complementario de L se denota por L c. LC, Métodos de Deducción 2.30
31 Formas clausales Para toda fórmula F PROP existe un conjunto de cláusulas {C 1,..., C n } tal que para toda valoración, v, v = F v = {C 1,..., C n } {C 1,..., C n } se denomina una forma clausal de F. Podemos obtener una forma clausal a partir de una forma normal conjuntiva. La fórmula en forma normal conjuntiva (L 1,1 L 1,n1 ) (L m,1 L m,nm ) se escribe en forma clausal: {{L 1,1,..., L 1,n1 }... {L m,1,, L m,nm }} LC, Métodos de Deducción 2.31
32 La regla de resolución Generaliza algunas de las reglas de inferencia clásicas: Modus Ponens : Modus Tollens : Encadenamiento : Reducción al absurdo : p, p q q p q, q p p q, q r p r p q, p q p {p}, { p, q} {q} { p, q}, { q} { p} { p, q}, { q, r} { p, r} { p, q}, { p, q} { p} LC, Métodos de Deducción 2.32
33 La regla de resolución Regla de resolución: {L 1,..., L,..., L m, }, {M 1,..., L c,..., M k } {L 1,..., L m, M 1,..., M k } LC, Métodos de Deducción 2.33
34 Resolución entre cláusulas Si L C 1 y L C 2 son literales complementarios, entonces la resolvente de C 1 y C 2 respecto a L es res L (C 1, C 2 ) = (C 1 \ {L}) (C 2 \ {L }) El conjunto de las resolventes de C 1 y C 2 es: Res(C 1, C 2 ) = {res L (C 1, C 2 ) : L C 1 y L c C 2 }. Ejemplos: Sea C 1 = {p, q, r} y C 2 = { p, r, s}. Entonces res p (C 1, C 2 ) = {q, r, r, s} res r (C 1, C 2 ) = {p, p, q, s} LC, Métodos de Deducción 2.34
35 Demostraciones por resolución Dado un conjunto de cláusulas, S, podemos considerar el sistema deductivo que tiene a S como conjunto de axiomas y resolución como única regla de inferencia. Una demostración por resolución a partir de S es una sucesión de cláusulas C 1,..., C n tal que para cada i = 1,..., n se verifica: Ci S, o bien Existen j, k < i tales que C i Res(C j, C k ). Si C n = diremos que C 1,..., C n es una refutación de S. Una cláusula C es demostrable por resolución a partir de S si existe una demostración a partir de S, C 1,..., C n, tal que C n = C. Notación: S r C. Decimos que S es refutable si S r. LC, Métodos de Deducción 2.35
36 Ejemplos Sea S = {{p, q}, { p, q}, {p, q}, { q, p, s}}. Veamos que S r {s}. 1. {p, q} Hipótesis 2. { p, q} Hipótesis 3. {q} Resolvente de 1 y 2 4. { q, p} Hipótesis 5. {p} Resolvente de 3 y 4 6. { q, p, s} Hipótesis 7. { q, s} Resolvente de 5 y 6 8. {s} Resolvente de 7 y 3 Es habitual presentar las demostraciones por resolución utilizando un árbol. LC, Métodos de Deducción 2.36
37 Ejemplos (II) S 1 = {{p, q}, {p, q}, { p, q}, { p, q}} es refutable; Luego S r. {p, q} { p, q} {q} {p, q} {p} { p, q} { q} LC, Métodos de Deducción 2.37
38 Adecuación y Completitud Lema. Sean C 1, C 2 y C cláusulas. Si C es una resolvente de C 1 y C 2, entonces {C 1, C 2 } = C. Teorema de adecuación. Sean S un conjunto de cláusulas y C una cláusula. Entonces Incompletitud de resolución: S r C = S = C {{q}} = {q, r} pero {{q}} r {q, r} Teorema de completitud de la refutación: S es inconsistente S r LC, Métodos de Deducción 2.38
39 Resolución por saturación Algoritmo de resolución por saturación. Entrada: S, un conjunto finito de cláusulas. Salida: SI, si S es inconsistente NO, en caso contrario. Procedimiento: 1. S S 2. S S Res(C 1, C 2 ) C 1,C 2 S 3. Mientras / S y S S hacer: S S S S [ Res(C 1, C 2) C 1,C 2 S 4. Si S devolver SI (i.e., inconsistente) 5. Si / S devolver NO (i.e., consistente) LC, Métodos de Deducción 2.39
40 Resolución por saturación El algoritmo de resolución por saturación genera una sucesión de conjuntos de cláusulas: S 0 = S, S i+1 = S i C 1,C 2 S i Res(C 1, C 2 ) de tal modo que para toda cláusula, C, se tiene S r C Existe j tal que C S j En consecuencia, por el teorema de completitud, el algoritmo de resolución por saturación es correcto. LC, Métodos de Deducción 2.40
41 Ejemplos (I) Sea S = {{p, q}, { p, q}, {p, q}, { q}}, aplicando el algoritmo: S 1 = S {{q}, {p}, { p}, { p, p}, {q, q}} Por tanto, S es inconsistente. S 2 = S 1 {,...} Sea S = {{p, q}, {p, q}, {q, r, s}, { s, r}}, aplicando el algoritmo: S 1 = S {{p}, {p, r, s}, {q, s, s}, {q, r, r}} S 2 = S 1 {{p, s, s}, {p, r, r}, {q, r, s}, {p, q, r, s}} S 3 = S 2 {{p, r, s}, {p, q, s, s}, {p, q, r, r}, {p, q, r, s}} Y S 4 = S 3. Por tanto, S es consistente. LC, Métodos de Deducción 2.41
42 Ejemplos (II) La aparición de tautologías suele provocar el cálculo de muchas resolventes repetidas y la aparición de nuevas tautologías. Sin embargo, las tautologías son cláusulas esencialmente redundantes, ya que tenemos el siguiente resultado: Sea C una tautología y S un conjunto de fórmulas. Entonces S es consistente S {C} es consistente Por tanto, en cada etapa del algoritmo de saturación podemos eliminar las tautologías obtenidas. En el caso anterior tendríamos S = {{p, q}, {p, q}, {q, r, s}, { s, r}} y aplicando el algoritmo con eliminación de tautologías S 1 = S {{p}, {p, r, s}}, S 2 = S 1 Por tanto, S es consistente. LC, Métodos de Deducción 2.42
43 Completitud y eficiencia Hemos estudiado la deducción como un método mecánico para decidir la validez, consistencia, consecuencia lógica, etc. La completitud es una propiedad fundamental de los procedimientos de deducción estudiados. En el caso de resolución la existencia de una demostración es decidible, y el conjunto de teoremas es finito (si el conjunto de cláusulas inicial es finito): Resolución por Saturación. Sin embargo, los métodos de decisión conocidos no son eficientes, en general. Una solución: Restringir el tipo de cláusulas consideradas. Una cláusula de Horn es una cláusulas con a lo sumo un literal positivo. El problema de decidir si un conjunto de cláusulas de Horn (proposicionales) es consistente es decidible de manera eficiente. LC, Métodos de Deducción 2.43
44 Completitud y eficiencia (II) Existen diferentes estrategias para reducir el número o la complejidad de las pruebas, sin perder la adecuación y manteniendo la completitud. FORMULAS C_1 S TEOREMAS C_2 Consecuencia Logica, no teoremas S C_4 C_3 = Pruebas originales = Pruebas refinadas LC, Métodos de Deducción 2.44
45 Opciones: Aumentar el número de reglas de inferencia. Acorta la longitud de las pruebas. Es necesario justificar su adecuación. Ejemplo: La regla de Hiperresolución: { A 1,..., A n, B 1,..., B m }, {A 1 },..., {A n } {B 1,..., B m } Reducir el ámbito de aplicación de las reglas. Acorta el tiempo de comprobación de la aplicabilidad. Utilizar Heurísticas. Basadas en comprobaciones empíricas. LC, Métodos de Deducción 2.45
46 Estrategias Para reducir el ámbito de aplicación de las reglas de inferencia en el caso de resolución, podemos adoptar las siguientes estrategias. Resolución positiva (resp. negativa): Sólo se calculan resolventes si una de las dos cláusulas contiene únicamente literales positivos (resp. negativos). Es (refutacionalmente) completa. Resolución lineal: Una deducción por resolución a partir de un conjunto S, C 1,..., C n, es lineal si para cada i < n la cláusula C i+1 es una resolvente de C i y otra cláusula previamente obtenida por resolución o perteneciente a S. La resolución lineal es (refutacionalmente) completa, ya que se tiene el siguiente resultado: Teorema. Si S es un conjunto inconsistente y S {C} es consistente, entonces existe una refutación de S por resolución lineal cuya cláusula inicial es C. LC, Métodos de Deducción 2.46
47 Estrategias (II) Resolución unidad: Sólo se permiten resolventes si una de las cláusulas es unitaria. Resolución por entradas: Sólo se permiten resolventes si una de las cláusulas pertenece a S. En general, resolución unidad y por entradas NO son refutacionalmente completas, pero sí lo son restringidas a conjuntos de cláusulas de Horn. Teorema. Sea S es un conjunto inconsistente formado por cláusulas de Horn. Entonces S es refutable mediante resolución unidad y mediante resolución por entradas. LC, Métodos de Deducción 2.47
Tema 3 Equivalencia. Formas normales.
Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas
Más detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesSistemas Deductivos. Sistemas Deductivos
Sistemas Deductivos Naturaleza sintáctica, combinatoria En general axiomas + reglas de inferencia teorema Demostración o prueba: secuencia finita de pasos, de aplicaciones de reglas de inferencia. Conexión
Más detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesParadigma lógico Lógica proposicional Resolución. Programación Lógica. Eduardo Bonelli. Departamento de Computación FCEyN UBA. 10 de octubre, 2006
Departamento de Computación FCEyN UBA 10 de octubre, 2006 Prolog Se basa en el uso de la lógica como un lenguaje de programación Se especifican ciertos hechos y reglas de inferencia un objetivo ( goal
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesClase 5 1. Lógica proposicional. Razonamientos
Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA
Más detalles1. Resolución en lógica proposicional
1. Resolución en lógica proposicional 1.1. Introducción 1.1.1. Pseudo-motivación Si tengo una fórmula de proposicional, puedo probar con fuerza bruta todas las valuaciones a ver si es satisfactible? Si
Más detallesIntroducción a la Lógica Proposicional Seminario de Matemáticas
Introducción a la Lógica Proposicional Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 8 de mayo de 2015 Julio A. Hurtado A. Departamento de Sistemas 1 / 34 Agenda Motivación
Más detallesLógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesLógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesTema 4: Resolución proposicional
Razonamiento Automático Curso 2000 200 Tema 4: Resolución proposicional José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica de proposiciones (5)
Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica
Más detallesLógica Clásica Proposicional
Lógica Clásica Proposicional Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis Alfabeto Fórmulas bien formadas Funciones recursivas
Más detallesLógica Proposicional. Del conjunto de hipótesis Γ se deduce α?
Proposicional Metateoría: Corrección y Completitud Proposicional - 1 Del conjunto de hipótesis Γ se deduce α? Γ = α? -Tablas de verdad - Equivalencia lógicas Existen métodos que siempre responden SI o
Más detallesLógica y Programación
Lógica y Programación Formas Normales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Simplificar las fórmulas
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesLógica Proposicional Lenguaje Proposicional Implicación semántica
Capítulo 1 Lógica Proposicional 1.1. Lenguaje Proposicional Un lenguaje proposicional consta de los siguientes símbolos: las proposicones atómicas, también llamados enunciados atómicos o simplemente variables
Más detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesEl lenguaje P. Lógica y Computabilidad ( ) símbolos p. Verano convenciones. Lógica Proposicional - clase 1
Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Lógica Proposicional - clase 1 Lenguaje de lógica proposicional, semántica, tautología, consecuencia semántica, conjunto satisfacible,
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
Más detallesSistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Más detallesTema 3: Demostraciones proposicionales
Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema DA 3: Lógica proposicional:
Razonamiento Automático Curso 200 2002 Tema DA 3: Lógica proposicional: Cálculos lógicos José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesDeducción automática y programación lógica
Deducción automática y programación lógica José A. Alonso Jiménez Área de ciencias de la computación e inteligencia artificial Universidad de Sevilla Sevilla, 12 de Septiembre de 1995 Contenido 1 Deducción
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesTemas de Lógica matemática y fundamentos ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Temas de Lógica matemática y fundamentos (2011 12) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica y Programación
Lógica y Programación Formas Normales J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación - Tema
Más detallesLOGICA DE ENUNCIADOS
Lógica - FCE LOGICA DE ENUNCIADOS 1. El lenguaje de enunciados Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis
Más detallesClase 5 1. Lógica de predicados. Razonamientos
Clase 5 1 Lógica de predicados Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS RAZONAMIENTOS
Más detallesMaterial educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesResolución en lógica de primer orden
Resolución en lógica de primer orden Eduardo Bonelli Departamento de Computación, FCEyN, UBA 15 de mayo, 2006 Clase pasada Repasamos lógica proposicional Introdujimos el método de resolución para lógica
Más detallesLógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesEl sistema deductivo de Hilbert
El sistema deductivo de Hilbert IIC2213 IIC2213 El sistema deductivo de Hilbert 1 / 17 Completidad de resolución proposicional Qué tenemos que agregar a nuestro sistema de deducción para que sea completo?
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesLos Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud
Los Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud Guillermo Morales Luna Departmento de Computación CINVESTAV-IPN gmorales@cs.cinvestav.mx 2-o Encuentro Nacional de Epistemología
Más detallesCapítulo 2. Preliminares Definiciones Básicas de Lógica
Capítulo 2 Preliminares El objetivo principal del siguiente capítulo es proveer al lector de definiciones básicas en lógica matemática para que los resultados del trabajo de tesis sean entendibles. Este
Más detallesDemostraciones por resolución
Demostraciones por resolución A lo largo del curso, hemos prometido insistentemente que hay métodos para mecanizar demostraciones En particular, queremos un método, dado una base de conocimiento Σ y una
Más detallesLógica y Programación
Lógica y Programación Resolución proposicional Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Idea básica
Más detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2015 Guía 4: Demostraciones en Cálculo Proposicional Cálculo Proposicional Tomando ideas de E. W. Dijkstra (EWD-999), proponemos el uso de lo que llamamos
Más detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 2do. cuatrimestre 2014 Guía 4: Demostraciones en Cálculo Proposicional Docentes: Walter Alini y Luciana Benotti. El objetivo principal de esta guía es lograr un buen entrenamiento
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesSoluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de José A. Alonso Jiménez
Soluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de 2005 José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesLógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesGuía 4: Cálculo Proposicional y Aplicaciones
Introducción a los Algoritmos - 1er. cuatrimestre 2011 Guía 4: Cálculo Proposicional y Aplicaciones Docentes: Araceli Acosta, Carlos Areces, Mariana Badano, Luciana Benotti, Javier Blanco, Paula Estrella,
Más detallesSistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesTema 10: Conceptos Metalógicos
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción
Más detallesDemostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática
Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural
Más detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detallesBúsqueda e inferencia lógica. Estrategias de resolución
Búsqueda e inferencia lógica Estrategias de resolución Contenidos 1. Introducción 2. Refutación por resolución 3. Estrategias de resolución 4. Procedimiento de extracción de respuesta 5. Demostradores
Más detallesIntroducción a la lógica proposicional
Introducción a la lógica proposicional Fernando Soler Toscano fsoler@us.es 1. Lógica proposicional 1.1. El lenguaje de la lógica proposicional Fórmulas. El lenguaje de la lógica proposicional está compuesto
Más detallesTema 1: Sintaxis y semántica de la lógica proposicional
Lógica informática Curso 2003 04 Tema : Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica informática ( )
1 / 34 Lógica informática (2013 14) Tema 1: Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesSemántica Operacional para la Programación en Lógica Lógica para Ciencias de la Computación
Semántica Operacional para la Programación en Lógica Lógica para Ciencias de la Computación Primer Cuatrimestre de 2009 Material Adicional Semánticas para la Programación n en LógicaL Se han explorado
Más detallesTema 2: Deducción natural proposicional
Lógica informática Curso 2004 05 Tema 2 Deducción natural proposicional José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesEjercicios de Lógica matemática y fundamentos ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Ejercicios de Lógica matemática y fundamentos (2012 13) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
Más detallesLógica y Programación
Lógica y Programación Sintaxis y semántica de la lógica proposicional Antonia M. Chávez, Carmen Graciani, Agustín Riscos Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesLógica y Programación
Lógica y Programación Cálculo de Secuentes Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Definiciones Objetivo: Resolver
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detallesAPÉNDICE A. Axiomas y Teoremas. Índice del Capítulo
APÉNDICE A Axiomas y Teoremas Índice del Capítulo A.1. Teoremas del Cálculo Proposicional..................... 219 A.2. Leyes Generales de la Cuantificación.................... 222 A.3. Teoremas del Cálculo
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesDeducción natural. Teorema de la deducción A B
Deducción natural La derivación natural hace uso de varias reglas de inferencia. Introduce conectiva Elimina conectiva Nombre Regla Nombre Regla I I I Teorema de la deducción Teorema de la deducción A,B
Más detallesLógica y Programación
Lógica y Programación Diagramas de Decisión Binarios J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesIntroducción a la Lógica Modal
Introducción a la Lógica Modal Pedro Cabalar Depto. Computación Universidade da Coruña, SPAIN 4 de mayo de 2006. Cabalar ( Depto. Computación Universidade da Coruña, SPAIN Lógica ) Modal 4 de mayo de 2006
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detallesIntroducción a la Lógica I
Metodología de la Asignatura Índice Introducción a la Lógica I Félix Bou bou@ub.edu 1 Metodología de la Asignatura 2 El objeto de la Lógica 3 16 de diciembre de 2009 4 5 Argumentación Silogística F. Bou
Más detallesI N T E L I G E N C I A A R T I F I C I A L I
I N T E L I G E N C I A A R T I I C I A L I Ingeniería en Mecatrónica e-mail: srivera @fing.uncu.edu.ar Dra. Ing. SELA S. RIERA P R O E S O R A T I T U L A R AGENTES BASADOS EN CONOCIMIENTO (COMPONENTES)
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Deducción n Natural en Lógica L Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Qué es una deducción? Cálculo Deductivo Sistemas Formales Un Sistema Formal
Más detallesConjuntos. () April 4, / 32
Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En
Más detallesLógica matemática y fundamentos ( )
1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesLógica Proposicional para Informática
Universidad de Oviedo Escuela Universitaria de Ingeniería Técnica de Informática de Oviedo Lógica Proposicional para Informática Jose E. Labra G. Ana I. Fernández M. Área de Lenguajes y Sistemas Informáticos
Más detallesGuía 6: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2012 Guía 6: Demostraciones en Cálculo Proposicional Docentes: Araceli Acosta, Mariana Badano, Javier Blanco, Paula Estrella, Pedro Sanchez Terraf, Mauricio
Más detalles