Lógica Proposicional

[pic 1]

Universidad Tecnológica Nacional Facultad Regional Resistencia.

Ingeniería en Sistemas de Información.

[pic 2]

TRABAJO TEÓRICO DE LÓGICA N°1

Docentes:

• Prof. Nancy AGUILAR
• Prof. Graciela Del VALLE
• Ing. Carolina Ileana VARGAS
• Ing. Prof. Ana María MONTENEGRO

Alumna: DUSSET, Maia Candelaria

Comisión: ISI 1°A

Año: 2020

RESPUESTAS:

1. Cuando hablamos de la lógica hacemos referencia al estudio del razonamiento humano, que permite verificar si un razonamiento es correcto o incorrecto. Es una ciencia formal, una rama de la filosofía que estudia los principios y las estructuras del pensamiento. Y cuando definimos lógica proposicional hacemos referencia a la lógica basada en proposiciones y en la aplicación de símbolos por medio de tablas de verdad, que nos permiten distinguir entre lo verdadero y falso de dichas proposiciones.

2. La utilidad de la lógica proposicional es dar un significado preciso a los enunciados matemáticos o sentencias matemáticas, distinguiendo entre argumentos válidos y no válidos. Además, tiene numerosas aplicaciones en ciencias de la computación.

3. Estudiamos lógica proposicional en Matemática Discreta debido a que nos ayuda a demostrar teoremas y a encontrar soluciones a problemas de la vida cotidiana. De esta forma, distinguimos la realidad de la percepción y podemos defender los puntos de vista con argumentos.

4. Las proposiciones son enunciados a los cuales se les puede dar un valor de verdad, es decir, es verdadero o falso, pero no ambas cosas a la vez. 

5. Podemos expresar enunciados compuestos uniendo dos o más proposiciones simples o negándolas mediante el uso de conectivos u operadores lógicos.

Ejemplos:

p ∧ q: Hoy es miércoles y mañana será jueves.

- p: Hoy no es miércoles.

6. Las tablas de verdad muestran las relaciones entre los valores de verdad de las proposiciones. Para poder armarla se debe identificar la cantidad de proposiciones simples que la conforman y usar la formula 2n para calcular la cantidad de filas que tiene la misma, n hace referencia a la cantidad de proposiciones simples.

...