estructuras discretas
Universidad Fermín Toro
Facultad de Ingeniería
Escuela de Mantenimiento Mecánico
Cabudare. Estado Lara
Unidad I
Estructuras Discretas IIntegrantes:
Jorge A. RiveroC.I:21.726.155
Existen 3 tipos de enunciados, interrogativos, imperativos y declarativos.
Los declarativos son los únicos que pueden ser “verdaderos” y “falsos”, por lo tantoson con los que se trabaja en la Matemática Lógica.
Las Proposiciones pueden ser de 2 tipos;
Atómicas: están compuestas por una sola proposición.
Ej.: Tres es un número primo
Moleculares: estáncompuestas por varias proposiciones y están acompañadas de conectivos.
Existen varios tipos de Conectivos;
Negación: es aquella donde podemos utilizar palabras como NO, NO ES CIERTO, NO ES EL CASO,ES FALSO.
Ej.: NO es cierto que tengo un auto.
Conjunción: en esta utilizaremos palabras como Y, PERO, NO OBSTANTE, SIN EMBARGO.
Ej.: Jorge estudia ingeniería PERO le gustan las ciencias políticas.Disyunción: en esta utilizaremos palabras como O, AL MENOS.
Ej.: A María le gusta mas la practica O la teoría.
Bicondisional: utilizamos palabras como SI Y SOLO SI, NECESARIO, SUFICIENTE PARA.Ej.: Saldré de viaje SI Y SOLO SI tengo carro.
Condicional: se utilizan palabras como SI, ENTONCES.
Ej.: SI hablas ingles ENTONCES puedes leer este libro.
Tablas de Verdad de las formasproposicionales
Tablas de verdad
Las tablas de verdad permiten determinar el valor de verdad de una proposición compuesta y depende de las proposiciones simples y de los operadores que contengan.
Es posibleque no se conozca un valor de verdad específico para cada proposición; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad...
Regístrate para leer el documento completo.