UNIVERSIDAD NACIONAL

JOSÈ FAUSTINO SANCHEZ CARRIÓN

"AÑO DEL BICENTENARIO DEL PERÚ: 200 AÑOS DE INDEPENDENCIA"

FACULTAD

INGENIERÍA INDUSTRIAL, SISTEMAS E INFORMÁTICA.

ESCUELA

INGENIERÍA ELECTRÓNICA

DOCENTE

SALAZAR SANTIBAÑEZ Alejandro Manuel

CURSO

LÓGICA MATEMATICA

INTEGRANTES

- COTRINA PAUCAR, MANUEL RODRIGO

- GARCIA ALVAREZ, ALAN RODY
- OSORIO ZUÑIGA, MAYCOL WILLIAMS
- SACRE MORENO, RONALD JUNIOR
- VASQUEZ RODRIGUEZ, RAFAEL RICARDO

2020-II
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Contenido
INTRODUCCIÓN ................................................................................................................................................ 3
ASIGNACIÓN ARBOLES ..................................................................................................................................... 4
Terminología de árboles: .............................................................................................................................. 4
Caracterización de árboles: .......................................................................................................................... 4
Árboles de expansión: ................................................................................................................................... 5
Árbol de Expansión Mínima: ....................................................................................................................... 6
Árboles binarios: ........................................................................................................................................... 7
A. B. DISTINTO: ......................................................................................................................................... 8
A. B. SIMILARES: ...................................................................................................................................... 8
A. B. EQUIVALENTES: ............................................................................................................................. 8
A. B. COMPLETOS: ................................................................................................................................... 8
Recorridos de árboles: .................................................................................................................................. 9
 Preorden........................................................................................................................................... 9
 Inorden ............................................................................................................................................. 9
 Postorden ......................................................................................................................................... 9
Árbol de decisión: ....................................................................................................................................... 10
Isomorfismo de árboles: .............................................................................................................................. 11
CONCLUSIÓN .................................................................................................................................................. 12
REFERENCIA ............................................................................................................................................ 13

2
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

INTRODUCCIÓN

Dicha unión estaba motivada porque la lógica de términos functoriales (TFL, por Term Functor
Logic) ofrece una aproximación algebraica para la silogística que, desafortunadamente, no modela
casos de razonamiento en lenguaje natural con cuantificadores no-clásicos como “muchos,” “la
mayoría,” o “pocos;” mientras que, por otro lado, la silogística intermedia extiende el alcance de la
silogística mediante la adición de cuantificadores no-clásicos, pero carece de un tratamiento
algebraico. De la unión de estos sistemas resultó la lógica de términos functoriales intermedia (TFL+
, por Intermediate Term Functor Logic), un sistema capaz de modelar inferencia silogística con las
ventajas de un enfoque algebraico (i.e., la reducción de conjunto de reglas complejas a un sistema
simple, formal y unificado) y las ventajas de una teoría silogística con cuantificadores no-clásicos
(i.e., la evaluación de una amplia gama de patrones inferenciales en lenguaje natural que extiende las
capacidades de la silogística apodíctica tradicional). Adicionalmente, en otro trabajo hemos propuesto
un método analítico de árboles para el sistema TFL (Castro-Manzano y Reyes-Cárdenas, 2018). Este
método de árboles estaba motivado porque no existía un sistema de árboles para TFL capaz de
preservar la riqueza expresiva y el poder inferencial del álgebra de Sommers y Englebretsen (cf.
D’Agostino, 2011; Sommers y Englebretsen, 2000, p. 183ss; Priest, 2008). Esta propuesta resultó en
un método de prueba que reduce el número de reglas de inferencia y preserva las capacidades
expresivas e inferenciales de TFL para la silogística apodíctica, la silogística relacional y la lógica
proposicional. Aprovechando estos resultados, en otro trabajo hemos desarrollado, a modo de síntesis,
un método de árboles para la silogística intermedia usando las nociones del álgebra de TFL. El
resultado fue un método analítico de árboles para el sistema TFL+ capaz modelar inferencia en lógica
proposicional, silogística apodíctica, relacional e intermedia.

3
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

ASIGNACIÓN ARBOLES

Terminología de árboles:
Además del nodo raíz, existen muchos términos utilizados en la descripción de los atributos de un árbol,
por ejemplo, un nodo que tiene arboletes se conoce como padre de ellos, y los nodos sucesores se llaman
hijos. De este modo los hijos de un nodo y los hijos de este se denominan descendientes, así como el
padre y los abuelos se conoce como ascendentes. Los nodos del mismo padre suelen llamarse hermanos
y los nodos que no tiene desentiendes de conocen como hojas.

Caracterización de árboles:
Todo árbol que no es vacío, tiene un único nodo raíz.
Un nodo X es descendiente directo de un nodo Y, si el nodo X es apuntado por el nodo Y.
En este caso es común utilizar la expresión X es hijo de Y.
Un nodo X es antecesor directo de un nodo Y, si en nodo apunta al nodo Y.

4
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Árboles de expansión:

Dado un grafo conexo, no dirigido G. Un árbol de expansión es un árbol compuesto por todos los
vértices y algunas (posiblemente todas) de las aristas de G. Al ser creado un árbol no existirán ciclos,
además debe existir una ruta entre cada par de vértices.

Un grafo puede tener muchos árboles de expansión, veamos un ejemplo con el siguiente grafo:

En la imagen anterior se puede observar que el grafo dado posee 3 árboles de expansión, dichos arboles
cumplen con las propiedades antes mencionadas como son unir todos los vértices usando algunas aristas.

5
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Árbol de Expansión Mínima:

Dado un grafo conexo, no dirigido y con pesos en las aristas, un árbol de expansión mínima es un árbol
compuesto por todos los vértices y cuya suma de sus aristas es la de menor peso. Al ejemplo anterior le
agregamos pesos a sus aristas y obtenemos los árboles de expansiones siguientes:

De la imagen anterior el árbol de expansión mínima sería el primer árbol de expansión cuyo peso total
es 6.

El problema de hallar el Árbol de Expansión Mínima (MST) puede ser resuelto con varios algoritmos,
los más conocidos con Prim y Kruskal ambos usan técnicas voraces (greedy).

6
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Árboles binarios:

A los árboles ordenados de grado dos se les conoce como arboles binarios ya que cada nodo del árbol
no tendrá más de dos descendientes directos. Las aplicaciones de los árboles binarios son muy variadas
ya que se les puede utilizar para representar una estructura en la cual es posible tomar decisiones con
dos opciones en distintos puntos.

La representación gráfica de un árbol binario es la siguiente:

Representación en Memoria
Hay dos formas tradicionales de representar un árbol binario en memoria:

- Por medio de datos tipo punteros también conocidos como variables dinámicas o listas.
- Por medio de arreglos.

Sin embargo, la más utilizada es la primera, puesto que es la más natural para tratar este tipo de
estructuras.

Los nodos del árbol binario serán representados como registros que contendrán como mínimo tres
campos. En un campo se almacenará la información del nodo. Los dos restantes se utilizarán para apuntar
al subárbol izquierdo y derecho del subárbol en cuestión.

Cada nodo se representa gráficamente de la siguiente manera:

Clasificación de Árboles Binarios

Existen cuatro tipos de árbol binario:

A. B. Distinto.

A. B. Similares.

A. B. Equivalentes.

A. B. Completos.

7
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

A. B. DISTINTO:

Se dice que dos árboles binarios son distintos cuando sus estructuras son diferentes. Ejemplo:

A. B. SIMILARES:

Dos árboles binarios son similares cuando sus estructuras son idénticas, pero la información que
contienen sus nodos es diferente. Ejemplo:

A. B. EQUIVALENTES:

Son aquellos árboles que son similares y que además los nodos contienen la misma información.
Ejemplo:

A. B. COMPLETOS:

Son aquellos árboles en los que todos sus nodos excepto los del ultimo nivel, tiene dos hijos; el
subárbol izquierdo y el subárbol derecho

8
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Recorridos de árboles:

Ahora que hemos examinado la funcionalidad básica de nuestra estructura de datos árbol, es hora de
mirar algunos patrones de uso adicionales para los árboles. Estos patrones de uso se pueden dividir
en las tres maneras en que tenemos acceso a los nodos del árbol. Hay tres patrones de uso común para
visitar todos los nodos de un árbol. La diferencia entre estos patrones es el orden en que es visitado
cada nodo. Llamamos a estas visitas de los nodos un “recorrido”. Los tres recorridos que vamos a ver
se llaman preorden, inorden y postorden. Comencemos definiendo estos tres recorridos con más
cuidado, para luego mirar algunos ejemplos donde estos patrones son útiles.

 Preorden
En un recorrido en preorden, visitamos primero el nodo raíz, luego recursivamente realizamos un
recorrido en preorden del subárbol izquierdo, seguido de un recorrido recursivo en preorden del
subárbol derecho.
 Inorden
En un recorrido en inorden, realizamos recursivamente un recorrido en inorden en el subárbol
izquierdo, visitamos el nodo raíz, y finalmente hacemos un recorrido recursivo en inorden del
subárbol derecho.
 Postorden
En un recorrido en postorden, realizamos recursivamente recorridos en postorden del subárbol
izquierdo y del subárbol derecho seguidos de una visita al nodo raíz.

9
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Árbol de decisión:

Un árbol de decisión es un mapa de los posibles resultados de una serie de decisiones relacionadas.
Permite que un individuo o una organización comparen posibles acciones entre sí según sus costos,
probabilidades y beneficios. Se pueden usar para dirigir un intercambio de ideas informal o trazar un
algoritmo que anticipe matemáticamente la mejor opción.
Un árbol de decisión, por lo general, comienza con un único nodo y luego se ramifica en resultados
posibles. Cada uno de esos resultados crea nodos adicionales, que se ramifican en otras posibilidades.
Esto le da una forma similar a la de un árbol.
Hay tres tipos diferentes de nodos: nodos de probabilidad, nodos de decisión y nodos terminales. Un
nodo de probabilidad, representado con un círculo, muestra las probabilidades de ciertos resultados.
Un nodo de decisión, representado con un cuadrado, muestra una decisión que se tomará, y un nodo
terminal muestra el resultado definitivo de una ruta de decisión.

Símbolos de los árboles de decisión:

10
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

Isomorfismo de árboles:

Dos graficas (𝐺1 𝑦 𝐺2) son isomorfas si y solos si existen una función f, uno a uno y sobre el conjunto
de vértices de 𝐺1 al conjunto de vértices de 𝐺2 que preserva la relación de adyacentes en 𝐺1 si y solo
si los vértices 𝑓(𝑣𝑖 ) y 𝑓(𝑣𝑗 ) son adyacentes en 𝐺2

Ejemplo:
Los arboles T1 y T2 de la siguiente figura no son isomorfos, pues T2 tiene un vértice (x) de grado 3,
pero T1 no tiene un vértice de grado 3.

Ejemplo:
La función f del conjunto de vértices del árbol T1 del ejemplo anterior T2 esta definido por la relación.

11
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

CONCLUSIÓN

La estructura del árbol lógico es la representación interna (nodo de integración) de un mensaje.

También se conoce como conjunto de mensajes. ... Correlaciones, un método gráfico para lograr la
transformación de estructuras de entrada a estructuras de salida, disponible en el nodo Mapping.

12
 UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SANCHEZ CARRIÓN

REFERENCIA

https://www.youtube.com/watch?v=zzL7-3Xc9H8

https://www.youtube.com/watch?v=lyvH-JMhgyM

https://www.youtube.com/watch?v=2jp3DWkwOek

13