Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matematicas Discretas I OCT 4 PDF
Matematicas Discretas I OCT 4 PDF
Septiembre 23 de 2020
Proposiciones lógicas compuestas
Una proposición es compuesta si esta conformada por varias proposiciones
Simples, utilizando los siguientes conectores u operadores lógicos:
Conjunción : “ Y “ , ˄
Disyunción : “ O “, ۷
Implicación o condicional: “ SI….ENTONCES”, ⇒
Doble implicación : “ SI Y SOLO SI “ , ⇔
Negación : “ NO “, ˊ ˥
Ejemplos:
LA VALORACION ES FALSO
EJEMPLOS
2) Considere los siguientes valores iniciales: K = V; T = F ; R = V.
T ∧ ˥K ∧ ( K ⇒ T ⇔ R ∨ T)
F V V F V F
F
V
F
F
F
F ∧ F
F
LA VALORACION ES FALSO
EJEMPLOS
3) Considere los siguientes valores iniciales: X = V; Y = F ; Z = V.
X ⇒ ˥ ( Y ∨ ( X ⇒ Y ∧ ˥ Z) )
V F V F V
F
F
F
F
V
V⇒ V
V LA VALORACION ES
VERDADERO
GENERACIÓN DE TABLAS A PARTIR DE EXPRESIONES
1) Q ∨ R ⇔ ⏋R ∧ Q
2) Q ∨ P ∨ R ∧ ⏋Q ∧ R
3) P∧ Q ∧ ⏋(P∧Q)
4) (P⇒Q)∨⏋ (P⇒Q)
5) P⇒Q∨ R ∨ ⏋T∧ ⏋P
1) Q ∨ R ↔⏋R ∧ Q
La valoración es la siguiente tabla:
NC = 𝟐𝒏
NC = 𝟐𝟐 =4
X Y
Q R ⏋R ⏋R ∧ Q Q∨R Y⇔X
V V F F V F
V F V V V V
F V F F V F
F F V F F V
A C B
Q P R ⏋Q R ∧ ⏋Q A∧ R Q∨P BVC
V V V F F F V V
V V F F F F V V
V F V F F F V V
V F F F F F V V
F V V V V V V V
F V F V F F V V
F F V V V V F V
F F F V F F F F
3) P∧ Q ∧ ⏋(P∧Q) NC = 𝟐𝒏
NC = 𝟐𝟐 =4
A B
P Q P∧Q ⏋A A∧B
V V V F F
V F F V F
F V F V F
F F F V F
V V V F V
V F F V V
F V V F V
F F V F V
NC = 𝟐𝒏
= 𝟐𝟒 = 16
X Y Z
P Q R T ⏋T ⏋P ⏋T∧ ⏋P Q∨ R Y∨X P⇒Z
V V V V F F F V V V
V V V F V F F V V V
V V F V F F F V V V
ES
V V F F V F F V V V
V F V V F F F V V V
C
V F V F V F F V V V
O
V F F V F F F F F F
N
V F F F V F F F F F
T
I
F V V V F V F V V V
N
F V V F V V V V V V
G
F V F V F V F V V V
E
F V F F V V V V V V
N
F F V V F V F V V V
C
F F V F V V V V V V
I
F F F V F V F F F V
A
F F F F V V V F V V
VALORACIÓN DE ARGUMENTOS
Pasos: para convertir argumentos en
proposiciones compuestas y para su
valoración.
A: Juan va a cine
B: Juan es jugador
C: Juan es aburrido.
Paso 3: Valoración (A ʌ B ) ⇒ ˥ C
X
A B C ˥C AʌB X⇒ ˥ C
V V V F V F
V V F V V V
V F V F F V
V F F V F V
F V V F F V
F V F V F V
F F V F F V
F F F V F V
Las aves vuelan y comen y las serpientes no vuelan
VARIABLES EXPRESION
A: Las aves vuelan
B: Las aves comen (A ʌ B ) ʌ ˥C
C: Las serpientes vuelan
K
A B C ˥C A ʌ B K ʌ ˥C
V V V F V F
V V F V V V
V F V F F F
V F F V F F
F V V F F F
F V F V F F
F F V F F F
F F F V F F
Ejercicios
VALORACION FINAL
2) Algunos dicen que si el equipo gana fue porque entrenó muy
bien o porque tiene suerte.
A→(BVC)
VARIABLES
A: El equipo gana
B: El equipo entreno muy bien
C: El equipo tiene suerte
K
A B C BVC A→K
V V
V V
V V
V F
F V
F V
F V
F V
3) Por lo general, los equipos ganan si y solo si tienen suerte o
entrenan mucho.
VARIABLES
EXPRESION
X : Los equipos ganan X ↔ (Y ٧ Z)
Y : Los equipos tienen suerte
Z : Los equipos entrenan mucho
Taller
II. F) Si P = V; Q = V; T = F Hallar el valor de verdad de:
T (A P) B T
T⇒ ˥ ( ˥ P⇒P )ʌQ ⇒ T
F V V V F
F
V
F
F
V
F
Taller
I. 7) Los perros y los gatos respiran y como los perros y los gatos muerden entonces
ambos son salvajes.
PASO 1 PASO 2
A: Los perros respiran V
B: Los gatos respiran V ( A ʌ B) ʌ [ ( C ʌ D) ⇒ (E ʌ F) ]
C: Los perros muerden V
D: Los gatos muerden V
E: Los perros son salvajes ?
F: Los gatos son salvajes ?
(R ˅ T ) ˅ ˥ ( K ʌ T )
R T K FINAL
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V