Formato IEEE

POLITÉCNICO DE LA COSTA ATLÁNTICA[pic 1]

DEPARTAMENTO DE CIENCIAS BÁSICAS

2022 – 02

[pic 2]

LOGICAL PROPOSITIONS SOLVER

Sebastián Andrés Rodríguez Domínguez, sebastian.rodriguezd@pca.edu.co

        Sebastián Andrés Noguera Fontalvo, sebastian.nogueraf@pca.edu.co        

Programa(s): Ingeniería de sistemas, Nombre de la asignatura: Matemáticas discretas

[pic 3]

Resumen -- El diligenciamiento de este formato tiene como objetivo presentar de manera detallada el proceso de desarrollo de obtener el resultado de proposiciones lógicas (tablas de verdad) haciendo uso de las TIC (Tecnología de la información y la comunicación). cabe resaltar, que se expone una serie de ítems que serán posteriormente revisadas por el profesor de área y estudiantes anteriormente mencionados de la institución Politécnico de la costa Atlántico.

Abstract -- The purpose of completing this format is to present in detail the development process of obtaining the result of logical propositions (truth tables) using ICT (Information and Communication Technology). It should be noted that a series of items are exposed that will be later reviewed by the professor of the area and students mentioned above from Politécnico de la costa Atlántico.

Palabras claves -- Proposiciones lógicas, tablas de verdad, conectivos lógicos.

1. INTRODUCCIÓN

La idea principal de este proyecto surge para la contribución a la reducción de tiempo que presentan los estudiantes en el proceso de construcción y cálculo de proposiciones lógicas (tablas de verdad), y disminución de errores con conectivos lógicos en las mismas. Algunas de las causas de este problema de construcción, se relacionan con las precarias condiciones de no estar concentrados, debido al alto flujo de 0 y 1 que presenta el proceso, el desconocimiento de la temática, la falta de una efectiva organización en el cálculo y proceso de construcción.

Por tal motivo, a través de la implementación de este sistema de información, se espera contribuir a la disminución de tiempo, y se pretende verificar e indicar que las necesidades planteadas durante el desarrollo de este proyecto puedan ser atendidas en su totalidad y el usuario (estudiantes, docentes) pueda resolver con mayor organización y asertividad el proceso de desarrollo de tablas de verdad.

1. OBJETIVOS

Objetivo General

El desarrollo de un aplicativo web el cual facilite el proceso de construcción y cálculo de proposiciones lógicas (tablas de verdad), y disminución de errores con conectivos lógicos en las mismas.

Objetivos Específicos

• Realizar previa investigación acerca de cómo resolver una tabla de verdad mediante un sistema de información.

• Diseñar y codificar el sistema de acuerdo con los aspectos mencionados en el objetivo general.

• Implementar correctamente el aplicativo para ser usado.

1. MARCO TEORICO

Proposiciones: Es cualquier afirmación que puede ser falsa o verdadera, pero no ambas a la vez.

Proposiciones en lógica: La lógica estudia las relaciones entre proposiciones y los mecanismos de razonamiento que permiten llegar a unas a partir de otras. En sí mismas, las proposiciones se diferencian de los juicios, ya que las primeras proponen algo sobre la realidad y los segundos afirman o niegan algo de ello. Es decir, las proposiciones son el producto lógico de los juicios.

La lógica formal representa las proposiciones a través de letras del alfabeto, para así estudiar las conexiones lógicas entre ellas abstraídas de su contenido semántico: “si p entonces q”.

A partir de dicha la relación, luego puede determinarse en qué casos el contenido expresado es cierto, y en qué casos es falso, mediante las llamadas “tablas de la verdad”, que asignan valores verdaderos (V) o falsos (F) a la relación establecida, para estudiar sus resultados posibles.

Las proposiciones se pueden nombrar con:

[pic 4]

Proposiciones simples: 

Son aquellas que están compuestas por un sujeto y un predicado directamente relacionados, sin que aparezcan factores de negación (no), conjunción (y), disyunción (o) o implicación (si… entonces). En términos oracionales, se corresponden con oraciones simples sin subordinadas. Por ejemplo: “El perro es negro”.

Proposiciones compuestas: 

Son aquellas de tipo complejo, que incorporan elementos adicionales a través de factores de negación, conjunción, disyunción o implicación, y que en términos oracionales consisten en oraciones con subordinadas y otros componentes. Por ejemplo: “Si el perro es negro, el perro no es azul ni rojo”.

Es decir, es cuando unimos dos o más proposiciones simples, formando una proposición compuesta.

Conectivos lógicos

Son partículas de enlace que se utilizan para unir dos o mas proposiciones simples, formando una proposición compuesta.

Funciones de verdad de los términos de enlace o conectivos lógicos

A continuación, se presenta que función de verdad realizan los distintos términos de enlace, lo que permitirá definirlas.

...