1. Una proposición es un enunciado cuyo contenido está sujeto a ser
calificado como "verdadero" o "falso", pero no ambas cosas a la vez.
Ejemplos
La luna es de queso (Falso)
Todos los vehículos tienen 4 ruedas (falso)
Los perros son animales (verdadero)
Algunos estudiantes son universitarios (verdadero)
Las proposiciones se notarán con letras minúsculas p, q, r, s y t.
Ejemplo
P: La matemática es una ciencia.
q: 2 es un número impar.
r: mañana es 27 de junio.
2. Nombre Símbolo Traducción
Negación No, no es el caso que
Conjunción y
Disyunción (inclusiva) ò
Disyunción Exclusiva o….o
Condicional Si…, Entonces
Biondicional Si y solo si
3. Se denominan formas proposicionales a las estructuras constituidas
por variables proposicionales y los operadores lógicos que las
relacionan.
Existen 3 tipos y son:
Tautológicas: Es aquella que siempre da como resultado verdadero.
Contradicciones: Es aquella que siempre da como resultado falso.
Falacias o indeterminadas: Es aquella que siempre es verdadera y
falsa a la vez.
4. Así como existen identidades trigonométricas, en el Álgebra
Proposicional se cumplen leyes para cualquier proposición
lógica como por ejemplo:
Leyes de Conjunción Leyes de Disyunción InclusivaLeyes de Morgan Leyes de Absorción Leyes Complementarias
5.
6. Circuitos Lógicos
También se llaman redes de conmutación y es una representación esquemática que
tiene una o más entradas y exactamente una salida. Se pueden identificar con una
forma proposicional, de manera que a una forma proposicional se le pueda asociar
un circuito; o de manera contraria, dado un circuito se le puede asociar la forma
proposicional correspondiente.
Usando las leyes del álgebra proposicional se pueden simplificar los circuitos en
otros más sencillos que al final cumplen la misma función que el original.
- Conexión en serie.
Interruptores en conexión :
- Conexión en paralelo.
7. Universidad Fermín Toro
Vicerrectorado Académico
Decanato de Ingeniería
Ingeniería en Computación
Cabudare, 6 de junio del 2013
Integrantes:
Rafael Bellina
C.I.20650414