0% encontró este documento útil (0 votos)
86 vistas

Logia Matematica

Este documento trata sobre la lógica matemática. Presenta una introducción sobre la importancia de la lógica y su aplicación en las matemáticas. Explica que el objetivo es analizar las nociones básicas de la lógica como proposiciones, conectivos lógicos, tablas de verdad y formas proposicionales. Finalmente, justifica la necesidad de mejorar el razonamiento lógico matemático en los estudiantes universitarios.

Cargado por

Mayra Acebo
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
86 vistas

Logia Matematica

Este documento trata sobre la lógica matemática. Presenta una introducción sobre la importancia de la lógica y su aplicación en las matemáticas. Explica que el objetivo es analizar las nociones básicas de la lógica como proposiciones, conectivos lógicos, tablas de verdad y formas proposicionales. Finalmente, justifica la necesidad de mejorar el razonamiento lógico matemático en los estudiantes universitarios.

Cargado por

Mayra Acebo
Derechos de autor
© © All Rights Reserved
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 35

Universidad Estatal del Sur de Manabí

CREADA EL 7 DE FEBRERO DEL AÑO 2001, SEGÚN REGISTRO OFICIAL #261

Sistema nacional de nivelación y admisión

PROYECTO:

LÓGICA MATEMÁTICA

AUTORES:

TUTOR (A):

JIPIJAPA-MANABÍ- ECUADOR

2018
DEDICATORIA

Este trabajo va dedicado a nuestros padres que con

sus sabias enseñanzas y su apoyo constante nos han

guiado durante todo el transcurso de mi vida, y día

a día nos dan la fuerza e inspiración apoyándonos

siempre en nuestra formación profesional y a Dios

que siempre nos da fuerza para seguir adelante

2
AGRADECIMIENTO

Primeramente nosotros queremos agradecer a Dios

sobre todas las bendiciones y cosas buenas que nos

pone en nuestros caminos a nuestros padres por ser

parte del día a día de cada uno de nosotros a los

Docentes que nos han guiado, brindándonos sus

conocimientos y experiencias, y a todas aquellas

personas que me brindaron su ayuda incondicional y su

amistad durante la realización de esta investigación.

INDICE DE CONTENIDO

PORTADA

3
DEDICATORIA................................................................................................................2

AGRADECIMIENTO.......................................................................................................3

INDICE DE CONTENIDO...............................................................................................4

1. TEMA........................................................................................................................5

2. INTRODUCCIÓN.....................................................................................................6

3. JUSTIFICACIÓN......................................................................................................8

4.- OBJETIVOS................................................................................................................9

5.- MARCO TEORICO...................................................................................................10

5.1.- LÓGICA MATEMÁTIVA.....................................................................................10

5.1.2.- NOCIONES DE LÓGICA...............................................................................11

5.2.- PROPOSICIÓN.......................................................................................................11

5.1.2.- TIPOS DE PROPOSICIONES........................................................................11

5.3.- NOTACIONES Y CONECTIVOS.........................................................................12

5.3.1.- NEGACIÓN.....................................................................................................12

5.3.2.- CONJUNCIÓN................................................................................................14

5.3.3.- DISYUNCIÓN.................................................................................................16

5.3.4.- CONDICIONAL..............................................................................................18

5.3.5.- BICONDICIONAL..........................................................................................20

5.4.- FORMAS PROPOSICIONALES...........................................................................21

5.5.- IMPLICACIONES LÓGICAS................................................................................23

5.6.- EQUIVALENCIAS LÓGICAS..........................................................................24

6.-CONCLUSIONES......................................................................................................25

7.-RECOMENDACIONES.............................................................................................26

7.-BIBLIOGRAFIA.........................................................................................................27

4
1. TEMA

LÓGICA MATEMÁTICA

2. INTRODUCCIÓN

5
El presente trabajo está relacionado al análisis de la Lógica; ya que es el lenguaje

simbólico que es utilizado en Matemáticas es preciso y no da lugar a falsas

interpretaciones.

El desarrollo del razonamiento lógico matemático dentro del proceso de enseñanza

aprendizaje de la matemática se ha tornado en un proceso difícil en la actualidad, para

maestros, alumnos debido a muchos factores que hacen que esta área sea muy compleja

y de difícil comprensión para los estudiantes; entre los factores de incidencia podemos

decir que en gran medida están involucrados los maestros por carecer de conocimientos

en el uso de nuevas estrategias didácticas acorde a las exigencias y realidades que

presentan los alumnos, la falta de investigación y capacitación la aplicación tradicional

y enciclopedista que se sigue aplicando en el proceso de enseñanza, contribuyen

negativamente a que el alumno pierda el interés y la motivación para adquirir destrezas

y capacidades que le permitan desarrollar su pensamiento lógico, crítico y reflexivo para

poder aplicarlo en todas las áreas de estudio.

Poe lo que Emplearemos las nociones del razonamiento lógicas, constituidas por

planteamientos lógicos tablas de verdad y convirtiendo expresiones a las que

asignaremos proposiciones elementales utilizando los conectivos matemáticos para

poder probar que los problemas planteados se ejecuten correctamente.

Se entiende que la lógica se ocupa básicamente de declaraciones o enunciados que se

caracterizan porque sus afirmaciones tienen un valor de verdad. La lógica trata a las

proposiciones que se pueden definir como enunciados simples, ya sean falsos o

verdaderos.

Es así que tenemos que tener en cuenta que el lenguaje natural es un instrumento de

comunicación humana, que se caracteriza por su gran flexibilidad y puede estar lleno de

6
redundancias y ambigüedades. Estas características hacen que el razonamiento lógico

formal no esté interesado en el lenguaje natural. La lógica pretende ser una ciencia

rigurosa y universal que permita realizar cálculos exactos. Para ello, la lógica requiere

el diseño de un lenguaje artificial que sea formal, donde lo que importe sea la forma o

aspecto externo, y no el significado de las frases y donde sólo los mensajes que cumplan

rigurosamente las normas sintácticas sean aceptados como correctos.

Por lo que cabe recalcar que el razonamiento lógico estudia la deducción o

razonamiento como proceso mental capaz de generar nuevos elementos de

conocimiento a partir de otros.

Finalmente, la lógica es una ciencia, que estudia el razonamiento formalmente

válido, la principal aportación que la lógica hace a las ciencias está en la ordenación,

estructuración y análisis de las verdades conocidas.

Al finalizar el proyecto se presentan las conclusiones y recomendaciones respectivas

que resultaron como consecuencia del desarrollo planteado del proyecto.

3. EL PROBLEMA DE INVESTIGACIÓN.

7
El razonamiento lógico matemático y su incidencia en el aprendizaje de los estudiantes
universitarios.

3.1.- Planteamiento del Problema.

Definición del problema.

El bajo nivel de razonamiento lógico matemático en los universitarios es un

problema que se está dando en la actualidad a nivel de Ecuador y obviamente en los

universitarios de nuestro cantón Jipijapa, debido a muchos factores que inciden en el

proceso de enseñanza-aprendizaje originados por del sistemas educativos que no es tan

acorde a la realidad social y educativa de los jovenes universitarios, sino a sus propios

intereses políticos, afectando directamente a la educación en relación a la poca o

ninguna capacitación de los maestros y alumnos, un fiel reflejo del bajo rendimiento de

razonamiento lógico se ve en los resultados de la aplicación de ser bachiller y los

postulantes a la SENECYT aplicadas por el Ministerio de Educación a nivel de todo el

país a los alumnos de tercero y sexto años de educación básica fueron muestras

suficientes para demostrar el bajo nivel de razonamiento lógico matemático que los

estudiantes de esos niveles de educación tienen una incidencia en el aprendizaje,

llevándonos a reflexionar y a meditar que el sistema educativo, no supera las

expectativas de aprendizaje que logren en los estudiantes desarrollen destrezas para

alcanzar capacidades de plantear y resolver problemas con variedad de estrategias,

metodologías activas y de recursos didácticos disponibles para lograr en los alumnos

manipular y experimentar los conocimientos en todas las etapas del proceso de

enseñanza-aprendizaje.

8
4. JUSTIFICACIÓN

El presente trabajo pretende realizar un análisis e identificación de la necesidad de

proveer estrategias para lograr dar una personalidad a un plan que implica

aproximaciones al entorno y la realidad social a intervenir. Por lo que creemos

necesario que tendrá beneficios de gran importancia para los estudiantes en formación
9
con el estudio de la lógica matemática porque es aplicable a la vida diaria, sin darnos

cuenta y siempre estamos poniendo en práctica ya sea al momento de decidir entre una

cosa u otra, cuando condicionamos algo.

Así mismo la lógica permite resolver incluso problemas a los que nunca se ha

enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos

conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya

existentes o simplemente utilización de los mismos.

Por lo tanto finalmente el proyectó es de gran beneficio y está orientado a sustentar

teóricamente la aplicación de las nociones lógicas y construir tablas de verdad

ejecutadas con proposiciones para establecer si las oraciones y ejercicios planteados

serán Verdaderos, falsas y exactas con respuesta lógica en base a las teorías planteadas.

Entonces es así que el razonamiento lógica contribuye una base fundamental para

expresar ideas, en la que el hombre lo ha utilizado fundamentalmente con los signos

orales y escritos. El lenguaje corriente a veces se presta a confusiones y a falsas

interpretaciones, este es uno de los problemas que ha tenido el hombre en el estudio de

las matemáticas y de las ciencias en general. Por ello, se hace necesario construir un

lenguaje claro y preciso que nos permita llegar a una correcta interpretación

basándonos en la lógica para tener una buena comunicación e interpretación de

problemas

10
4.- OBJETIVOS

4.1.- Objetivo General

Aplicar los Elementos de Razonamiento Lógico Matemática en expresiones y


convertirlas en proposiciones a través de la construcción de la tabla de verdad aplicando
los conectivos lógicos para lograr el razonamiento matemático exacto en los estudiantes.

4.2.- Objetivos Específicos

 Establecer si la Lógica Matemática es un factor fundamental para lograr el

Razonamiento Matemático en los estudiantes.

11
 Analizar los parámetros fundamentales de apoyo para mejorar el Razonamiento

Lógico de los estudiantes

 Aplicar proposiciones matemáticas a la vida cotidiana.

 Utilizar el conectivo correcto.

 Convertir expresiones en proposiciones.

5.- MARCO TEORICO

5.1.- LÓGICA MATEMÁTIVA

Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un nivel

elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un

argumento dado.

El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias

de la computación para verificar si son o no correctos los programas; en las ciencias

física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y

en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en

forma constante el razonamiento lógico para realizar cualquier actividad.[ CITATION

Ecu18 \l 3082 ]

12
5.1.2.- NOCIONES DE LÓGICA

Existen 3 clases de lenguaje para poder comunicarnos, el lenguaje Oral; que se

manifiesta verbalmente, el lenguaje Escrito; que es la traducción del lenguaje Oral

mediante frases impresas y el lenguaje Simbólico; que es una traducción de los

interiores, mediante símbolos apropiados que siguen reglas determinadas.

El lenguaje simbólico que es utilizado en matemáticas es preciso y no da lugar a falsas

interpretaciones.

Por otra parte, la lógica matemática se caracteriza por emplear un lenguaje simbólico

artificial y realizar una abstracción de los contenidos.

5.2.- PROPOSICIÓN

Una proposición es una oración con valor referencial o informativo, de la cual se puede

predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no

ambas a la vez.

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser

verdadera o falsa empíricamente, sin ambigüedades.

5.1.2.- TIPOS DE PROPOSICIONES

 Proposición compuesta:

Una proposición compuesta se forma combinando proposiciones simples con

operadores o conectores lógicos

 Proposición abierta:

13
Cuando el enunciado no podemos calificarlo como verdadero o falso, o sea no tiene

valor de verdad

Ejemplos:

 ¿Cómo te llamas?

 ¡Hola!

NO PROPOSICIONES

 ¡Ojala deje de llover!

 Siéntate y quédate quieto.

 ¿Hiciste el deber de Matemáticas?

VALOR DE VERDAD

Cualidad de una proposición de ser verdadera o de ser falsa.

Verdadero: 1

Falso: 0

5.3.- NOTACIONES Y CONECTIVOS

A las proposiciones simples se denominan también proposiciones atómicas y se suelen

asignar variables con las letras minúsculas (p, q, r, s,….a, b, c,…. etc.), a los conectivos

se suelen llamar también términos de enlace y estos son:

14
5.3.1.- NEGACIÓN

Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le

llama Negación de p, escribiendo: “Es falso que” antes de p, ó, cuando es posible, se

inserta en p la palabra “No”, (¬p) Su símbolo es: ¬, ~

NEGACIÓN

EJEMPLO 1.

: "Hoy no es Lunes”

: “ No Estoy en la clase de Física"

Dada una proposición simple p, esta puede ser negada y convertirse en

otra proposición llamada negación de ~p. Este signo puede ser traducido en palabras,

así: “no es el caso que” o, “es falso que” y más brevemente, “no”.

Se establece el siguiente principio para la negación lógica: La negación de un enunciado

verdadero es falsa; la negación de un enunciado falso es verdadero.

Ejemplo 2:

p: “4 + 4 es igual a 9”

-p: “4 + 4 no es igual a 9″

15
p: “El 4 es un numero par”

-p: “El 4 no es un numero par”

Ejemplo 3:

p : "Todos los peces viven en el océano"

-p : "No es cierto que todos los peces viven en el océano" o bien

-p : "No todos los peces viven en el océano" o bien

-p : "Los peces no todos viven en el océano"

5.3.2.- TABLA DE VERDAD

VARIAB
LES
CONECTIVOS

CONJUNC DISYUNCI CONDICIO BICONDICIO


ION ON NAL NAL
p q
Λ V → ↔

V V V V V V

V F F V F F

16
F V F V V F

F F F F V V

5.3.2.- CONJUNCIÓN

Es cuando dos proposiciones simples se combinan mediante la expresión y, la

proposición compuesta resultante se le llama conjunción (p Λ q). Su símbolo es: Λ.

CONJUNCIÓN

Ejemplo 1. TABLA DE VERDAD

: "Tengo un lápiz"

: "Tengo un cuaderno"

: "Tengo un lápiz y un cuaderno”

La regla para establecer los criterios de verdad de la

conectiva lógica conjunción es la siguiente:

Una conjunción de enunciados en los cuales todos son verdaderos, es verdadera.

Una conjunción de enunciados en donde no todos son verdaderos es falsa.

Lo que equivale a decir que basta que uno de sus componentes sea falsa para que
toda la proposición sea falsa y sólo será verdadera en el caso de que ambos
componentes lo sean.

17
Ejemplo 2.

La mamá de Luis le dice:

Luis hoy haces tú tarea y limpias tu cuarto.

Luis hace su tarea y limpia la sala.  


(V
V V )
no limpia la
Luis hace su tarea y sala.  
V F (F)

Luis no hace su tarea y limpia la sala.  


F V (F)
no limpia la
Luis no hace su tarea y sala.  
F   F (F)

Ejemplo 3:

18
p ^ q (se lee: ” p y q”)

p =” El número 4 es par”

q =”Siempre el residuo de los números pares es 2″ entonces…

p^q: “El número 4 es par y Siempre el residuo de los números pares es 2″

p =” El número más grande es el 34”

q =”El triángulo tiene 3 lados entonces…

p^q: “El número más grande es el 34 y El triángulo tiene 3 lados”

Ejemplo 4:

 Sea la proposición molecular: "8 es múltiplo de 2 y 9 es un número impar"


19
p = "8 es múltiplo de 2" (verdadera), q = "9 es un número impar" (verdadera) por ser

ambas verdadera la conjunción entre ellas es verdadera.

 Sea la proposición molecular: "La fresa es una fruta y 3 es un número par"

p = "La fresa es una fruta" (verdadera), q = "3 es un número par" (falsa)

Por tanto, la conjunción entre ellas es falsa, ya que ambas no son simultáneamente

verdaderas.

5.3.3.- DISYUNCIÓN

Se representan dos enunciados separadas por la expresión o basta con que una sea
verdadera para que se cumpla la proposición (p v q) (a v b). Su símbolo es: V

DISYUNCIÓN INCLUSIVA

Ejempló 1. TABLA DE VERDAD

a : "Tengo un lápiz"

b 20

ab
: "Tengo un cuaderno”

: "Tengo un lápiz o un cuaderno”

DISYUNCIÓN EXCLUSIVA

Ejemplo 2.

: “Apruebas el curso de nivelación"

: “Te regalaré un carro"


TABLA
: “Si apruebas el curso de nivelación" entonces te regalaré DE" VERDAD
un carro

La disyunción es verdadera, si al menos una de las proposiciones componentes es


verdadera, resultando falso únicamente cuando las dos proposiciones son falsas.

Una disyunción, es verdadera cuando por lo menos una de sus alternativas es


verdadera; solamente será falsa si las dos lo son.

Una disyunción, es verdadera cuando por lo menos una de sus alternativas es


verdadera; solamente será falsa si las dos lo son.

21
Ejemplo 3.

Carla encuentra en su libro lo siguiente:

7 es primo si y solo si tiene dos divisores.

7 es primo si y solo si tiene dos divisores  


V V (V)
7 no es primo si y solo si tiene 2 divisores.  
F V (F)
7 es primo si y solo si no tiene 2 divisores  
V F (F)
7 no es primo si y solo si no tiene 2 divisores  
Ejemplo 4: F F (V)
       
La tabla de la verdad de la
disyunción inclusiva se
presenta:

Es verdadera si al menos una de las variables atómicas es verdadera. Se puede decir que

solamente cuando las variables atómicas son falsas es que la proposición resultante da

falsa.

 Sea la proposición molecular: "El cielo es azul o 12 es un número par"

p = "El cielo es azul" (verdadera), q = "12 es un número par" (verdadera) por ser

ambas verdadera la disyunción inclusiva entre ellas es verdadera.

22
 Sea la proposición molecular: "El número 1 es el elemento neutro de la suma o

44 es un número par"

p = "El número 1 es el elemento neutro de la suma" (falsa), q = "44 es un número par"

(verdadera)

Por tanto, la disyunción inclusiva entre ellas es verdadera, ya que una de ellas es

verdadera.

 Sea la proposición molecular: "La navidad se celebra en agosto o 13 es un

número par"

p = "La navidad se celebra en agosto" (verdadera), q = "13 es un número par" (falsa)

Por tanto, la disyunción inclusiva entre ellas es falsa, ya que ambas no son

simultáneamente falsa.

Disyunción exclusiva

Ejemplos:

 Sea la proposición molecular: "O uno es el elemento neutro de la multiplicación


o 12 es un número par"

p = "uno es el elemento neutro de la multiplicación " (verdadera), q = "12 es un


número par" (verdadera)

23
Por ser ambas verdadera la disyunción exclusiva entre ellas es falsa.

 Sea la proposición molecular: "O la navidad se celebra en diciembre o 13 es un


número par"

p = "La navidad se celebra en diciembre" (verdadera), q = "13 es un número par"


(falsa)

Por tanto, la disyunción exclusiva entre ellas es verdadera, ya que ambas no son
simultáneamente verdaderas.

 Sea la proposición molecular: "O los carnavales se celebran en agosto o 15 es


un número par"

p = "los carnavales se celebran en agosto" (falsa), q = "15 es un número par" (falsa)

Por tanto, la disyunción exclusiva entre ellas es falsa, ya que ambas son falsas.

5.3.4.- CONDICIONAL

Es aquella proposición compleja cuya conectiva dominante es el condicional, es decir,

aquella expresión que tiene la forma p → q, y que se lee “si p, entonces q” o bien “p

es condición suficiente de q”, donde A es el antecedente y B el consecuente. Su símbolo

es: → Expresada por la frase “entonces”, se simboliza mediante el

signo “→” colocado entre las dos proposiciones. La primera proposición lleva el

nombre de antecedente y la segunda proposición la de consecuente.

Ejemplo 1:
TABLA DE VERDAD

24
: “Apruebas el curso de nivelación"
: “Te regalaré un carro"
: “Si apruebas el curso de nivelación" entonces te regalaré un carro"

Ejemplo 2:
Daniela le dice a su hijo:
Si estudias entonces ingresarás a la Universidad

Si estudias entonces ingresas a la Universidad.  


V V (V)
no ingresas a la
Si estudias entonces Universidad.  
V F (F)
No estudias entonces ingresas a la Universidad.  
F V (V)
no ingresas a la
No estudias entonces Universidad.  
F F (V)

Ejemplo 3:

Tabla condicional

25
El condicional que une a dos proposiciones es falso, cuando el antecedente es
verdadero y el consecuente falso.

 Sea la proposición molecular: "Si entreno, entonces me inscribo en la


competencia"

p = "entreno"

q = "me inscribo en la competencia”

OTROS LENGUAJES RELACIONADOS:

Condición Necesaria y
Verdadera
Condición Suficiente

26
Ejemplo

"Si un número es divisible para 4 entonces es divisible para 2"

1. “La divisibilidad para 4 es condición suficiente para la divisibilidad para 2"

“Es suficiente que un número sea divisible para 4 para que se divisible para 2"

2. “La divisibilidad para 2 es condición necesaria para la divisibilidad para 4"

“Es necesario que un número sea divisible para 2 para que se divisible para 4"

VARIACIONES

Ejemplo:

“Iré a trabajar si me pagan”

Si me pagan entonces iré a trabajar

LA RECÍPROCA: Si voy a trabajar entonces me pagan

LA INVERSA: Si no me pagan entonces no iré a trabajar

LA CONTRARRECÍPROCA: Si no voy a trabajar entonces no me pagan

27
5.3.5.- BICONDICIONAL

También llamado equivalencia o implicación doble, es una proposición de la forma “P

si y sólo si Q”, en la cual tanto P como Q son ambas ciertas o ambas falsas.

También se dice que Q es una condición necesaria y suficiente para P, (p↔q). Su

símbolo es: ↔, ≡

Expresada por la frase “si y solo sí…”, denotada por el signo“↔”, significa una
relación bidireccional en donde ambas proposiciones se necesitan entre sí.

La conectiva bicondicional, será verdadera solamente si y solo si las dos sentencias que
la componen son a la vez verdaderas o si son ambas falsas.

Ejemplo 1.

: “Un triángulo es equilátero”


: “Un triángulo tiene sus ángulo de igual medida”
: “Un triángulo es equilátero si y sólo si tiene sus ángulos de
igual medida”

28
5.4.- FORMAS PROPOSICIONALES

Con cinco conectivas lógicas básicas se construyen proposiciones compuestas que

pueden ser tautologías, antitautologias o contingencias.

Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la

verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica.

Si la tabla de verdad es siempre falsa, será una anti tautología.

Si es verdadera y falsa, la proposición es una contingencia

5.4.1- TAUTOLOGÍA

Una proposición compuesta es una tautología si es verdadera para todas las asignaciones

de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su

valor V no depende de los valores de verdad de las proposiciones que la forman, sino de

la forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el

caso:

Si se obtienen sólo proposiciones verdaderas para todos los valores de verdad de las

variables proposicionales

Ejemplo

 p  q    p  q 

29
5.4.2- CONTRADICCION

Si se obtienen sólo proposiciones falsas para todos los valores de verdad de las

variables proposicionales.

Ejemplo:

  p  q    p  q  

5.4.3- CONTRADICCION

Si se obtienen proposiciones verdaderas y otras falsas.

Ejemplo:

30
5.5.- IMPLICACIONES LÓGICAS

Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B si y sólo

si A  B es una tautología.

En este caso se escribe: A  B

 p  q    p  q 

Formula:

Ejemplo:

La forma proporcional tautológica: p => (q→p), se puede traducir al lenguaje común


como “si se tiene p, de cualquier manera q se seguirá teniendo p”.

31
5.6.- EQUIVALENCIAS LÓGICAS

Sean A y B dos formas proposicionales. Se dice que A es lógicamente equivalente a B


A B
si y sólo si es una tautología.

En este caso se escribe: A B

También: AB

Ejempló:
pq p  q

6.-CONCLUSIONES

Se concluye que la lógica matemática es una de las piezas fundamentales de la

Inteligencia Artificial, ya que para realizar los cambios necesarios para la evolución de

esta ciencia, se precisa de un lenguaje formal para representar los hechos que se reciben

del mundo real y el uso de las proposiciones.

El utilizar proposiciones es una señal que encaja en forma perfecta en este ámbito. Es un

modo sencillo y práctico de resolver un problema, considerando que se puede resolver

32
disgregando el problema en proposiciones u oraciones sencillas que permiten analizar

los hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones sencillas

o compuestas que se incorporan a la base de conocimiento, permitiendo el incremento y

mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la

resolución de problemas o la representación de la realidad a nivel de proposiciones.

7.-RECOMENDACIONES

Después de haber realizado el trabajo podemos concluir dando las siguientes


recomendaciones:

 Lo primero de todo, es comprender el problema que nos planteen, asegurarnos

de comprender bien cada una de las partes del planteamiento.


33
 Antes de dar respuestas sin reflexionar sobre ellas, comprobar que cumplen cada

una de las condiciones que se establecen en el problema.

 No dar respuestas impulsivamente sino analíticamente.

7.-BIBLIOGRAFIA

EcuRed. (2018). LOGICA MATEMATIVA. Obtenido de https://www.ecured.cu/L


%C3%B3gica_matem%C3%A1tica

http://es.wikipedia.org/wiki/Representaciconocimiento

http://es.wikipedia.org/ proposicional#Sistemaaxiom.C3.A1tico

http://www.uhu.es/docsproposicioneslogicas

http://www.ampa-stjhuelva.orgproposicional

http://logicayrazonamientomatamatica.blogspot.com/2011/08/valores-de-la-verdad-de-
los-operadores.html

34
https://matedisunidad3.wordpress.com/tag/negacion/

http://logicayrazonamientomatamatica.blogspot.com/2011/08/bicondicional-o-
coimplicacion.html

35

También podría gustarte