SlideShare una empresa de Scribd logo
1 de 6
Descargar para leer sin conexión
Universidad Fermín Toro
Vicerrectorado Académico
Facultad De Ingeniería
Cabudare – Edo. Lara

Alumno: Erick Martínez.
C.I.:24.943.262

Cabudare, Octubre 2013
Proposiciones:
Toda proposición tiene una y solamente una alternativa.
1: Verdadero
0: Falso
Ejemplos:



Los Carros vuelan. (Falso)
EL Sol es Amarillo (verdadero)

Las proposiciones se notarán con letras minúsculas p, q, r, s, t, ya que las letras mayúsculas las
usaremos para denotar los conjuntos.
Ejemplos
P: La matemática es una ciencia.
q: 2 es un número impar.
r: mañana es 27 de junio.
Se le llama valor lógico de una proposición al valor 1 si la proposición es verdadera y 0 si la
proposición es falsa, como por ejemplo VL(P):1 y VL(q):0
Operaciones Veritativas:
Son símbolos o conectivos que nos permiten construir otras proposiciones; o simplemente unir
dos o más proposiciones, a partir de proposiciones dadas.
Cuando una proposición no contiene conectivos lógicos diremos que es una proposición
atómica o simple; y en el caso contrario, diremos que es una proposición molecular o
compuesta.
Conectivos Lógicos (La Negación):
Sea p una proposición, la negación de p es otra proposición identificada por: ~ p, que se lee "no p", "no
es cierto que p", "es falso que p", y cuyo valor lógico está dado por la negación de dicha proposición.

La tabla dice que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa.
Este mismo resultado lo podemos expresar en forma analítica mediante la siguiente igualdad:
VL (p)= 1- VL(~ p)
En efecto:
Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0
Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1
Ejemplo:
Si p es la proposición
P: Barcelona es un estado Oriental.
Entonces su negación se puede expresar de tres formas:
~ p: Es falso que Barcelona es un estado Oriental.
~ p: No es cierto que Barcelona sea un estado Oriental.
~ p: Barcelona no es un estado Oriental.
~ p: De ninguna manera Barcelona es un estado Oriental.
La conjunción
Sean p y q dos proposiciones. La conjunción de p y q es la
proposición p Ù q, que se lee "p y q", y cuyo valor lógico está
dado con la tabla o igualdad siguiente:
VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor
de los números dados.
La disyunción inclusiva
Sean p y q dos proposiciones. La disyunción de p y q es la proposición p v q, que se lee "p o q",
y cuyo valor lógico está dado por la tabla siguiente:
VL(pvq)=máximo valor(VL(p),VL(q)).

La disyunción exclusiva
Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición p v q, que se
lee "o p o q", y cuyo valor lógico está dado por la tabla.

VL(pv q) = 0 si VL (p) = VL ( q ).

El condicional
Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la
proposición p  q, que se lee "si p, entonces q", y cuyo valor lógico está dado por la siguiente
tabla:
El Bicondicional
Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición pq, que se lee
"p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por
la siguiente tabla.

VL (P « q ) = 1 si VL (p) = VL (q)
Tautologias y Contradicciones
Tautología: Es aquella proposición molecular que es verdadera (es decir, todos los valores de
verdad que aparecen en su tabla de verdad son 1) independientemente de los valores de sus
variables.
Contradicción: Es aquella proposición molecular que siempre es falsa (es decir cuando los
valores de verdad que aparecen en su tabla de verdad son todos 0).
Circuitos Lógicos
Los circuitos lógicos o redes de conmutación los podemos identificar con una forma
proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado
un circuito podemos asociarle la forma proposicional correspondiente. Además, usando las
leyes del álgebra proposicional podemos simplificar los circuitos en otros más sencillos, pero
que cumplen la misma función que el original.
Conexión en serie la cual se representa como p  q

Conexión en paralelo la cual se representa como p  q
Estructura discreta 1

Más contenido relacionado

La actualidad más candente

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
MatemáTicas Diapositivas
MatemáTicas DiapositivasMatemáTicas Diapositivas
MatemáTicas Diapositivasmatediscretas
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadCompartir Palabra Maestra
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTicaPriscila
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposicionesLuis Torres
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTicageartu
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas iClaurimar
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Luizei Arias
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Daniel ZSc
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 

La actualidad más candente (19)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
MatemáTicas Diapositivas
MatemáTicas DiapositivasMatemáTicas Diapositivas
MatemáTicas Diapositivas
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Guía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdadGuía para estudiantes: Simuladores para tablas de verdad
Guía para estudiantes: Simuladores para tablas de verdad
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Estructuras discretas i
Estructuras discretas iEstructuras discretas i
Estructuras discretas i
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 

Similar a Estructura discreta 1

Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalHarrinzon Reinoso
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Frank Perez
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFTFrank Perez
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Luizei Arias
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Estructura
EstructuraEstructura
Estructurapregiver
 
Kentmora.asignacion1
Kentmora.asignacion1Kentmora.asignacion1
Kentmora.asignacion1Deximar Boza
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Erica Avila Caicedo
 

Similar a Estructura discreta 1 (20)

Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta Calculo Proposicional. Estructura Discreta
Calculo Proposicional. Estructura Discreta
 
Unidad 1
Unidad 1Unidad 1
Unidad 1
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Estructura
EstructuraEstructura
Estructura
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Kentmora.asignacion1
Kentmora.asignacion1Kentmora.asignacion1
Kentmora.asignacion1
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 

Estructura discreta 1

  • 1. Universidad Fermín Toro Vicerrectorado Académico Facultad De Ingeniería Cabudare – Edo. Lara Alumno: Erick Martínez. C.I.:24.943.262 Cabudare, Octubre 2013
  • 2. Proposiciones: Toda proposición tiene una y solamente una alternativa. 1: Verdadero 0: Falso Ejemplos:   Los Carros vuelan. (Falso) EL Sol es Amarillo (verdadero) Las proposiciones se notarán con letras minúsculas p, q, r, s, t, ya que las letras mayúsculas las usaremos para denotar los conjuntos. Ejemplos P: La matemática es una ciencia. q: 2 es un número impar. r: mañana es 27 de junio. Se le llama valor lógico de una proposición al valor 1 si la proposición es verdadera y 0 si la proposición es falsa, como por ejemplo VL(P):1 y VL(q):0 Operaciones Veritativas: Son símbolos o conectivos que nos permiten construir otras proposiciones; o simplemente unir dos o más proposiciones, a partir de proposiciones dadas. Cuando una proposición no contiene conectivos lógicos diremos que es una proposición atómica o simple; y en el caso contrario, diremos que es una proposición molecular o compuesta.
  • 3. Conectivos Lógicos (La Negación): Sea p una proposición, la negación de p es otra proposición identificada por: ~ p, que se lee "no p", "no es cierto que p", "es falso que p", y cuyo valor lógico está dado por la negación de dicha proposición. La tabla dice que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa. Este mismo resultado lo podemos expresar en forma analítica mediante la siguiente igualdad: VL (p)= 1- VL(~ p) En efecto: Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0 Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1 Ejemplo: Si p es la proposición P: Barcelona es un estado Oriental. Entonces su negación se puede expresar de tres formas: ~ p: Es falso que Barcelona es un estado Oriental. ~ p: No es cierto que Barcelona sea un estado Oriental. ~ p: Barcelona no es un estado Oriental. ~ p: De ninguna manera Barcelona es un estado Oriental. La conjunción Sean p y q dos proposiciones. La conjunción de p y q es la proposición p Ù q, que se lee "p y q", y cuyo valor lógico está dado con la tabla o igualdad siguiente: VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los números dados.
  • 4. La disyunción inclusiva Sean p y q dos proposiciones. La disyunción de p y q es la proposición p v q, que se lee "p o q", y cuyo valor lógico está dado por la tabla siguiente: VL(pvq)=máximo valor(VL(p),VL(q)). La disyunción exclusiva Sean p y q dos proposiciones. La disyunción exclusiva de p y q es la proposición p v q, que se lee "o p o q", y cuyo valor lógico está dado por la tabla. VL(pv q) = 0 si VL (p) = VL ( q ). El condicional Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p  q, que se lee "si p, entonces q", y cuyo valor lógico está dado por la siguiente tabla:
  • 5. El Bicondicional Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposición pq, que se lee "p si sólo si q", o "p es condición necesaria y suficiente para q", y cuyo valor lógico es dado por la siguiente tabla. VL (P « q ) = 1 si VL (p) = VL (q) Tautologias y Contradicciones Tautología: Es aquella proposición molecular que es verdadera (es decir, todos los valores de verdad que aparecen en su tabla de verdad son 1) independientemente de los valores de sus variables. Contradicción: Es aquella proposición molecular que siempre es falsa (es decir cuando los valores de verdad que aparecen en su tabla de verdad son todos 0). Circuitos Lógicos Los circuitos lógicos o redes de conmutación los podemos identificar con una forma proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Además, usando las leyes del álgebra proposicional podemos simplificar los circuitos en otros más sencillos, pero que cumplen la misma función que el original. Conexión en serie la cual se representa como p  q Conexión en paralelo la cual se representa como p  q