PROPOSICIONES

Asignatura: Estructuras Discretas Alumna: Natera Rebeca

Profesor: Méndez Domingo C.I.:19.993.151

REPÚBLICA BOLIVARIANA DE VENEZUELAUNIVERSIDAD FERMÍN TORO – SEDE CABUDARE

SISTEMA DE APRENDIZAJE INTERACTIVO A DISTANCIA

Objetivo de la unidad I

Basados en la revisión bibliográfica, la discusión y ejercitación dirigida,

experimentar los métodos de demostración directa e indirecta.

Objetivos Específicos

• Definir, previa revisión Bibliográfica una proposición.

• Identificar los conectivos lógicos de una proposición.

• Identificar las distintas formas proposicionales.• Conocer las leyes del Álgebra proposicional.• Aplicar algunos métodos de demostración en

Matemática e Ingeniería.• Construir una red de circuitos lógicos de una

forma proposicional.

La proposición.

• Con base a la referencia bibliográfica del tema 1, la proposición es una oración

que expresa una idea mediante un mensaje definido cuya validación está

sujeta a ser verdadera o falsa, pero nunca con ambas alternativas al mismo

tiempo. De acuerdo al video “Lógica Matemática” adjunto en la unidad de

estudio, las proposiciones vienen a ser enunciados de tipo declarativo.

Conectivos lógicos de una proposición

• Dentro de las operaciones veritativas, se encontrarán los conectivos lógicos de

una proposición, que son en tal sentido; Negación (usa “no”), conjunción (usa el

conectivo “y”), disyunción (usa “o”), condicional (usa “si…entonces”), bicondicional (usa “si y solo si”), y

finalmente disyunción exclusiva ( usa “o la primera proposición, o la segunda

proposición ”).

Formas proposicionales

• En este orden de ideas, las proposiciones de acuerdo a su forma pueden ser atómicas o

moleculares, siendo las primeras expresadas mediante una sola proposición, mientras las

moleculares compuestas por mas de una proposición y haciendo uso de los conectivos

lógicos. Cuando a partir de la tabla de la verdad, todos los posibles resultados de la proposición en estudio son verdadero, se le

llamará proposición tautológica, por el contrario cuando todos los posibles resultados

sean negativos, se llamará contradicción.

Leyes del Álgebra proposicional

• Por otra parte, las leyes del algebra proposicional se identifican como se

nombran a continuación; Ley asociativa, conmutativa, de impotencia, de complementación, de identidad,

distributiva, y por ultimo leyes de De Morgan.

algunos métodos de demostración en Matemática e Ingeniería