Post on 22-Jul-2015
UNIVERSIDAD FERMÍN TORO
VICE-RECTORADO ACADÉMICO
ESCUELA DE INGENIERÍA
BARQUISIMETO, EDO. LARA
Informe de Unidad I
Realizado Por:
León Orlando CI: 24.614.355
Septiembre, 2014
PROPOSICIÓN
Una proposición es una oración con valor referencial o informativo el cual
nos indica cuando la oración es verdadera o falsa, pero esta no puede ser
ambas a la vez, algunos ejemplos de proposiciones serian:
1. El agua se compone de hidrogeno y oxigeno (V)
2. 2 + 5 = 8 (F)
3. Todo estudiante es universitario (F)
4. Algunos estudiantes son universitarios(V)
Conectivos Lógicos
Podemos señalar que en las proposiciones nos encontramos con los
llamados (conectivos lógicos), cada uno de ellos cuenta con un valor y una
función en las proposiciones. Los conectivos lógicos son los siguientes:
1. Negación ( ~ )
2. Conjunción (Ʌ)
3. Disyunción Inclusiva (V)
4. Disyunción exclusiva (V)
5. Condicional ( →)
6. Bicondicional ( ←→)
Cabe a destacar que a las expresiones que se obtienen a partir de
variables proposicionales mediante la aplicación de los conectivos lógicos se
les llama “Formas proposicionales “a estas formas proposicionales las
denotaremos con letras mayúsculas(A, B, C)
Leyes del algebra proposicional:
Existen abundantes equivalencias lógicas .Sin embargo, Todas estas
pueden deducirse a partir de unas pocas equivalencias fundamentales, a las
que llamaremos leyes del algebra de proposiciones, estas equivalencias nos
aparecerán a lo largo del texto con mucha frecuencia, generalmente se
utilizan los números 1 y 0 para representar a cualquier tautología o
contradicción
Las leyes del algebra proposicional se clasifican de la siguiente manera
1. Leyes Indempotentes
2. Leyes asociativas
3. Leyes Conmutativas
4. Leyes Distributivas
5. Leyes de Identidad
6. Leyes de Dominación
7. Leyes de Complementación
8. Leyes de Morgan
Inferencia lógica:
La inferencia lógica es una de las partes más importantes de la lógica ya
que la utilizamos no solo en las ciencias como la matemática, sino que
también se utiliza en otras áreas como la filosofía y el derecho y, en general,
en la vida diaria
Métodos de demostración:
Una demostración de un razonamiento es una secuencia de proposiciones
que termina con una conclusión. Cada una de las proposiciones es una
premisa o una consecuencia lógica de las proposiciones.
En los métodos de demostración tenemos el método directo y el método
indirecto, Sin embargo, La forma más natural de demostración de un teorema
o proposición es la demostración directa.
Demostración directa e indirecta:
Circuitos lógicos
Un circuito lógico es aquél que maneja la información en forma binaria, es
decir, con valores de "1" y "0".
Los circuitos lógicos son un dispositivo que se componen por una o mas
entradas y exactamente una salida, Los circuitos lógicos se construyen a
partir de ciertos circuitos elementales denominados compuertas lógicas
Compuertas lógicas básicas: OR, AND, NOT.
Compuertas lógicas derivadas: NOR, NAND.
Construcción de un circuito lógico de forma proposicional
Métodos de demostración en la matemática e ingeniería
1. Un ingeniero necesita encender un bombillo del cual dispone de 3
interruptores, al presionar los 3 al mismo tiempo deberá indicar de la
mayoría si se enciende o se apaga.
2. Sea x y e dos números reales. Probar que x+y > 100 :::> x>50 v y>50.