Administracion
NOMBRE: NAZARIO NORATO HERNANDEZ
MATERIA: MATEMATICAS DISCRETAS
ING. EDGAR MEDELLIN
GRUPO: S-1/1
UNIDAD III.- “LOGICA MATEMATICA”3.1.- LOGICA PROPORCIONAL
3.1.1.- CONCEPTO DE PROPOSICION
*(¿?) *(! ¡) *Imperativos (ordenes) (declarativos)
Tipos de proposición
--simples, atómicos
--compuestos o molecularesEjemplo prop.simples CONECTIVOS
P: hoy es lunes y (conjunción) &
Q: mañana es martes No (negación) ¬
R: son del grupo s-1/1 o (disyunción) v
Si entonces (condicional) →Si y solo si (bicondicional) ↔
EJEMPLO PROP. COMPUESTO
*hoy es lunes y mañana es martes PvQ
*hoy es lunes o mañana es martes PvQ
*si hoy es lunes entonces mañana es martes P→Q
*Hoy noes lunes P¬
*mañana es martes si y solo si hoy es lunes P↔Q
3.1.2.- EJMEPLO DE PROPOSICION COMPUESTA
P: hoy es martes si p→(q&r)
Q: tenemos clase de mate discretas
R: quedo tarea3.1.3.-TABLAS DE VERDAD
Negación disyunción conjunción condicional
P | ¬P |
V | F |
F | V |
P | Q | PvQ |
v | v | v |
v | f | v |
f | v | v |
f | f | f|
P | Q | P&Q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
P | Q | P→Q |
v | V | V |
v | F | F |
f | V | V |
f | F | v |
Bicondicional
P | Q | P↔Q |
v | v |V |
v | f | F |
f | v | F |
f | f | v |
| | |
EJEMPLOS
PyQ= V P →(P → Q) (A → P)→(P → A)
AyB= F V V V F V V F
V V F
V F
(A → P) → (P →A) (P → A) →(A → P)
F V V F V F F V
V F F V
F V
(P → A) → (¬P → ¬ A)¬(P & Q) → (¬P & ¬B)
V F F V V V V V
F V V F F
V F F...
Regístrate para leer el documento completo.