TEMA: Formalizacion de proposiciones
NOMBRE: JUAN CARLOS GOMEZ SANCHEZ
CÓDIGO:20162578095
TALLER
1. berman es cineasta pero vallejo es escritor
2. no me duchare a menos que haya agua caliente
3. plazas no es persona, es un asesino
4. tanto plazas como arias son dementes por que son torturadores
5. cree tres proposiciones y formalicelas
SE PIDE:
1. Explicar algoritmo de formaliacion de proposiciones
2. Formaliar las proposiciones
3. dar 3 ejemplos de oraciones proposicionales y 3 oraciones que no sean proposiciones
EXPONER AL FINAL DE CLASE
SOLUCIÓN:
Algoritmo:
Algoritmo:
a)
a)
Se explicita su forma lógica empleando las conjunciones ‘y’, ‘o’,
‘si..., entonces’, ‘si y sólo si’ y el adverbio ‘no’ en sustitución de
sus expresiones equivalentes.
b)
Se halla su fórmula reemplazando cada proposición atómica
por una variable proposicional, las conjunciones gramaticales
por sus operadores lógicos correspondientes y el adverbio ‘no’
por el operador negativo.
c)
Los signos de agrupación se usan para establecer la jerarquía
entre los operadores de una fórmula lógica, pero sólo cuando su
omisión la hace ambigua.
‘si..., entonces’, ‘si y sólo si’ y el adverbio ‘no’ en sustitución de
sus expresiones equivalentes.
b)
Se halla su fórmula reemplazando cada proposición atómica
por una variable proposicional, las conjunciones gramaticales
por sus operadores lógicos correspondientes y el adverbio ‘no’
por el operador negativo.
c)
Los signos de agrupación se usan para establecer la jerarquía
entre los operadores de una fórmula lógica, pero sólo cuando su
omisión la hace ambigua.
¿QUE ES UNA PROPOSICIÓN?
Es aquel juicio que se puede determinar si es verdadero o falso, por ejemplo 3 es un numero primo, es una proposición
solución 2:
FORMALIZAR LAS PROPOSICIONES ANTERIORES
1. {Berman es cineasta} pero {vallejo es escritor}
C = Berman es cineasta
2. NO {me duchare} a menos que {haya agua caliente}
D = Me duchare
A = Haya agua caliente ¬ D ¬ A
3. {plazas NO es persona}{es un asesino}
P = Plazas es persona
A = Es un asesino ¬ P ∧ A
4. {si alfonzo es torturador Y arias es torturador} ENTONCES {alfonzo es demente Y arias es demente}
A = alfonzo es torturador
B = arias es torturador
C = alfonzo es demente
D = arias es demente (A∧B)→(C∧D)
solución 3:
* 1. hoy juega el Barcelona y mañana el real Madrid
2. si camilo pasa logica entonces pasa el semestre
3. 3+2=5 si y solo si 4+4=8
* 1. ¿Que dia es hoy?
2. ¿vas a jugar futbol?
3. Uf! ¡Que sueño!
TRABAJO PENDIENTE EN LA PLATAFORMA
¿QUE ES LOGICA?
La lógica es una ciencia formal y una
rama de la filosofía que estudia los principios de la demostración e inferencia
válida. La palabra deriva del griego antiguo que significa "dotado de
razón, intelectual, dialéctico, argumentativo", que a su vez viene de
"palabra, pensamiento, idea, argumento, razón o principio".
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué formulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.
Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural.
Un sistema lógico está compuesto por:
1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué formulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.
2 ¿Importancia
de la lógica en las ciencias de la computación?
Es tan importante la relación lógica-computación que todo ordenador
tiene una unidad en la cual se realizan las operaciones lógicas; es la unidad
aritmético–lógica. En ella, se efectúan las operaciones lógicas de
cualquier programa. Nos referimos a los operadores lógicos "y", "o",
etc., los cuales trabajan en base a las tablas de verdad.
· La lógica se hace
presente en los programas. Cada uno de ellos es un conjunto formal y secuencial
de operaciones, las cuales permiten realizar un trabajo. Decimos
"formal " y con ello evidenciamos de la lógica forma, puesto que
teóricamente, un mismo programa puede estar referido a varios contenidos,
siempre y cuando tengan los mismos esquemas.
0 comentarios:
Publicar un comentario