1. República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación
Universidad Fermín Toro
Escuela de Ingeniería en Telecomunicaciones
ESTRUCTURAS DISCRETAS I
Análisis Unidad I
Lozano, Juanluis 17.196.188
2. A continuación se presentan lo que considero indispensable entender durante ésta primera
unidad, ya que es lo elemental para las lógica proposicional, entender lo que es una proposición, los
resultados de uniones o conexiones entre proposiciones, sus comportamientos en cuanto a las
interpretaciones que se puedan dar y el manejo de la tabla de la verdad.
Toda la siguiente información relacionada dentro de la Unidad I, está ligada directamente a ésta
información que a continuación se presenta, sólo que sin entender éstos términos, difícilmente se
logrará un resultado positivo en el entendimiento de por ejemplo, las leyes del álgebra de
proposiciones, equivalencia e implicación, de igual manera, los circuitos lógicos.
Proposición
Se define como una expresión que deba ser verdadera o falsa pero que no pueda ser ambas.
Conjunción
A la proposición que resulta de unir dos proposiciones por medio del conectivo conjunción ( ),
la llamaremos proposición conjuntiva; p q, teniendo un valor de verdad verdadero, sólo cuando ambas
componentes sean verdaderas, es decir, si al menos una de las componentes es falsa, entonces la
proposición p q es falsa.
Disyunción
Para indicar que dos proposiciones están conectadas con la letra "o" se utiliza el símbolo ,
llamado conectivo disyuntivo. A la proposición que resulta de unir dos proposiciones por medio del
conectivo disyunción ( ), la llamaremos proposición disyuntiva p q. p q tendrá un valor de verdad
falso sólo cuando ambas componentes sean falsas, es decir, si al menos una de las componentes es
3. verdadera, entonces p q es verdadera.
Sean A y B dos conjuntos, entonces definimos el conjunto A unión B, que anotaremos por A ∪ B
al conjunto formado por todos los elementos que pertenecen al conjunto A o al conjunto B. A ∪ B =
{ x / x ∈ A x ∈B}
Condicional
Para indicar que dos proposiciones están conectadas, la primera implicando la segunda se utiliza
el símbolo , llamado conectivo condicional, la primera proposición es llamada antecedente o
hipótesis y la segunda es consecuente o conclusión. A la proposición que resulta de unir dos
proposiciones por medio del conectivo condicional, le llamaremos proposición condicional. p q
tendrá un valor de verdad falso solamente cuando el antecedente (p) es verdadero y el consecuente (q)
es falso; en los demás casos diremos que p q es verdadero.
Bicondicional
A la proposición que resulta de unir dos proposiciones por medio del conectivo bicondicional (
), la llamaremos proposición bicondicional. Recordemos que p q significa ( p q) (q p ) Si p
y q tienen el mismo valor de verdad, entonces p q es verdadera. Y si p y q tienen valor de verdad
opuestos, entonces p q es falsa.
La proposición x, p(x) q(x) es verdadera si y solo si P ⊂ Q y Q ⊂ P.
4. Tablas de Verdad
La tabla de verdad de una fórmula es aquella en la que se presentan todas las posibles
interpretaciones de las variables proposicionales que constituye la fórmula y el valor de verdad de la
fórmula completa para cada interpretación. Por ejemplo, la tabla de verdad para la fórmula
sería:
Circuitos Lógicos
Circuito lógico es aquel que maneja la información en forma de "1" y "0", dos niveles lógicos
de voltaje fijos.
"1" nivel alto o "high" y "0" nivel bajo o "low".
Los circuitos lógicos están compuestos por elementos digitales como la compuerta AND
(Y),compuerta OR (O), compuerta NOT (NO).
y combinaciones poco o muy complejas de los circuitos antes mencionados.
Estas combinaciones dan lugar a otros tipos de elementos digitales como los compuertas, entre
5. otros.
Aunque los circuitos electrónicos podrían parecer muy complejos, en realidad se construyen de
un número muy grande de circuitos muy simples.
En un circuito lógico digital se transmite información binaria (ceros y unos) entre estos circuitos
y se consigue un circuito complejo con la combinación de bloques de circuitos simples.