República Bolivariana de Venezuela Ministerio de Educación Superior

Universidad Fermín Toro Cabudare- Edo Lara

Departamento de Ingeniería Mecánica

Integrantes: Cristian Escalona

C.I: 17.100.986 Profesor:

Domingo Mendez Asignatura:

Estructura Discreta

PROPOSICIONES LOGICAS

Introducción.

En las proposiciones lógicas en nuestro caso daremos a conocer como se define el tipo de proposiciones , conectores lógicos entre otros. Podemos decir que las proposiciones son aquellas donde que aparte de ser un contenido pueden ser calificados con valores números enteros y letras mayúsculas y minúsculas las cuales nos darán información sobre si alguna causa o motivo es verdadero o falso.

Las proposiciones Son aquellas donde que aparte de ser un contenido pueden sercalificados como 1 o 0 como valor lógico donde 1 es verdadero y sedenotara con las letras mayúsculas; Y 0 es falso y se denotara con lasletras minúsculas. Como por ejemplo:

La universidad Fermín Toro no permite el acceso a los estudiantes que no estén al día con los pagos: VL(T)=1(Verdadero)

La universidad Fermín Toro aumento el sueldo al personal docente en un 90%: VL(p)= 0(falso) Conectores Lógicos: Son los que nos permiten formar proposiciones formadas por varias proposiciones. Tipos conectivos lógicos:

1. Conectiva de la Negación: es una negación de una proposición atómica (Lo contrario a la respuesta). ¿Cómo podemos reconocerlas en un enunciado? como la palabra no, no es cierto, no es el caso, es falso, entre otros.

TABLA DE LA VERDAD

P -P

V F

F V

2. Conectiva de la conjunción:

Es la multiplicación lógica de las proposiciones ¿Cómo podemos reconocerlas en un enunciado? Como la palabra y, pero, no obstante, sin embargo, entre otros.

TABLA DE LA VERDAD

P Q P˄Q

1 1 1

1 0 0

0 1 0

0 0 0

3. Conectividad Bicondicional:

TABLA DE LA VERDAD

P Q P<->Q

1 1 1

1 0 0

0 1 1

0 0 1

Las leyes del algebra de proposicionesestán conformadas por:

Leyes idempotentes

Leyes asociativas

Leyes conmutativas

Leyes distributivas

Leyes de identidad

Leyes de complementación

Con estas leyes podemos reducir los ejercicios probando que una proposición es equivalente a otra usando las leyes del algebra preposicional, esto es llamado prueba deductiva.