Taller en clase

1) Todo lo que tu dices es falso.
P→Todo lo que dices
Q→Falso
P→Q
2)Si eres puntual, iremos juntos
P→Eres puntual
Q→Iremos juntos
P→Q
3)Los alumnos de lógica aprueban o no aprueban
P→Alumnos de lógica
Q→Aprueban
(P→Q)v(P→~Q)
4)Es cierto que las matemáticas son divertidas
P→Las matemáticas
Q→Son divertidas
P→Q
5)Llueve
P→Llueve
P
6)No es verdad que todo lo que digo es falso
P→Todo lo que digo
Q→Falso
~P→Q
7)No hace calor
P→Hace calor
~P
8)Cuando me dejo llevar por la ira, termino arrepentido
P→Me dejo llevar por la ira
Q→Termino arrepentido
P→Q
9)La lógica y las matemáticas se relacionan
P→Lógica y matemática se relacionan
P
10)Juan y Pedro son hermanos
P→Juan es hermano
Q→Pedro es hermano
(P^Q)
11)Los políticos y los magos tiene algo en común
P→Los politicos
Q→Los magos
R→Algo común
(P^Q)→R
12)La suma de los ángulos de un triangulo equivalen a 180°
P→Suma
Q→Ángulos de un triangulo
R→180°
(P^Q)→R

Comentarios

Publicar un comentario

Entradas populares de este blog

Deducción natural en lógica matematica

Imagen
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente al construir demostraciones matemáticas. 1.En vez de contar con unos pocos axiomas a los que se aplican unas pocas reglas de inferencia, la deducción natural propone vaciar la lista de axiomas y ampliar la de reglas de inferencia, introduciendo dos reglas para cada constante lógica: una para introducirla y otra para eliminarla. 2.Una demostración se construye partiendo de supuestos y aplicando las reglas para llegar a la conclusión deseada. Procedimiento: De acuerdo al método de la deducción natural, para evaluar una inferencia, es decir, para mostrar que la conclusión de una inferencia se sigue lógicamente de las premisas, es preciso indicar las reglas de inferencias validadas elementales que conducen de las premisas a la conclusión. Dada una inferencia cualquiera, el proceso derivado consta de...
Leer más

Ejercicios de proposición

1) no toda persona tiene un hermano h:hermano p:persona q:padre m:madre ∃x∃y{q(x,p)∧m(y,p)∧-h(p)} 2)Julia es abuela de Ana g:abuela j:julia a:ana g(j,a)     ∃x{j(x,a)-> g(j,a)} 3)Ana tiene un unico hermano hombre h:hombre  p:hermano  a:ana ∀x∀y{a(x,p)∧p(y,h)} 4)ana y ernesto son hermanos o medio hermanos z:medio hermanos A:ana E:ernesto p:padre m:madre q:padrastro r:madrastra h(a,b) ∃x∃y{p(x,a)∧m(y,a)∧p(x,e)∧m(y,e)} ∃x{a(y,x)∧e(x,y)V(a(y,q) ∧e(x,r)->h(x)Vz(x,y))} 5)Todo nuemro tiene un secesor n:numero s:sucesor ∀x{N(x,s)}
Leer más

Logica de predicados

Los lenguajes formales, como el de la lógica proposicional, tienen un componente sintáctico y otro semántico. En esta lección veremos la sintaxis del lenguaje de la lógica proposicional. La sintaxis de la lógica proposicional está formada por una gramática y un alfabeto. El primero consta de símbolos, los cuales se dividen en tres categorías: signos lógicos, no lógicos y signos de puntuación. Estos últimos pueden ser prescindibles, los símbolos lógicos y los no lógicos son necesarios. La gramática, por su parte consiste en un conjunto de reglas que nos permite generar fórmulas del lenguaje a partir de otras fórmulas. Para entender la noción de fórmula hemos de introducir previamente los símbolos del alfabeto del lenguaje de la lógica proposicional. Este consta de: 1. Letras proposicionales (símbolos no lógicos). No hay un número determinado. Para los fines de este curso de lógica, estipularemos las letras “p”, “q”, “r” y “s” como nuestras letras proposicionales. 2. Conectivas (símbo...
Leer más