Bienvenido al curso: F211468AA-7/413 IFCT155PO - INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL Y LOS

ALGORITMOS

Fecha de inicio: 19/10/2022

Fecha fin: 23/12/2022

 LÓGICA

“ Disposición natural de los seres humanos para pensar de forma coherente ”

LÓGICA MATEMÁTICA

“ Ciencia que estudia los procedimientos para distinguir si un razonamiento es

correcto o incorrecto”
 LÓGICA PROPOSICIONAL (también conocida como lógica de enunciados)

Proposición o enunciado: es una oración que puede ser verdadera o falsa

Ejemplos:

- Hace frío
- Llueve
- La casa está cerca del lago
- El árbol de la entrada es un roble
- El tesoro está en el fondo del mar

¡¡MUCHO OJO!!

¡Si todas las mañanas fuesen tan soleadas como ésta! → NO ES UNA PROPOSICIÓN
 LÓGICA PROPOSICIONAL (también conocida como lógica de enunciados)

Conectores lógicos: son palabras que se representan por símbolos y que se utilizan para negar
o para enlazar proposiciones simples. Los más importantes son los siguientes:
TABLAS DE VERDAD
CÓMO HACER TABLAS DE VERDAD: EJEMPLO PRÁCTICO

Para construir tablas de verdad debes realizar unos pasos muy sencillos y claros.
A continuación pasaremos a explicar cada uno de los pasos necesarios para hacer una
tabla de verdad, utilizando como ejemplo la sentencia (p→q)^r:

1.Determina el número de filas de la tabla de verdad. Para esto solo debes elevar 2 al
número de proposiciones presentes en la sentencia.

2n
Por ejemplo para el caso de la sentencia (p→q)^r, se deberán crear 8 filas ya que 2 3 = 8
CÓMO HACER TABLAS DE VERDAD: EJEMPLO PRÁCTICO

2. Crear una columna para cada proposición e introducir todos los valores de verdad
posibles:
CÓMO HACER TABLAS DE VERDAD: EJEMPLO PRÁCTICO

3. Agregar a la derecha una columna por cada proposición compuesta y la sentencia completa
CÓMO HACER TABLAS DE VERDAD: EJEMPLO PRÁCTICO

4. Calcular los valores de verdad de izquierda a derecha

¿QUÉ ES UNA TAUTOLOGÍA?

En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera
para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se
haga a sus fórmulas atómicas.
¿QUÉ ES UNA CONTRADICCIÓN EN LÓGICA?

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por
ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena»
expresan contradicciones lógicas.
HERRAMIENTAS ÚTILES:

SIMULADOR ONLINE DE TABLAS DE VERDAD

https://logicaunad.com/simulador-tablas/ (explicación)

http://logicaunad.com/jtruth/ (aplicación)
 MUCHAS GRACIAS

¡Os espero en la próxima aula virtual!