Documentos de Académico
Documentos de Profesional
Documentos de Cultura
I UNIDAD
LÓGICA PROPOSICIONAL Y NOCIONES
DE TEORIA DE CONJUNTOS
Ejemplo:
falsa, p es verdadera.
p p
La tabla de verdad: V F
F V
2. La Conjunción ( p q )
Ejemplo:
q: “2 divide a 25”.
p q : “ 2 es divisor de 68 y de 25”.
Valor de verdad: p q es falsa
Notación:
Las proposiciones se combinan mediante conectivos,
Ejemplo
Ejemplo:
Ejemplo:
Algunos han sido grandes otros han conseguido la grandeza a otros les ha sido impuesta.
Ejemplo:
Ejemplo:
p q : “ 3 divide a 6 ó a 7”
p q pq
V V V
V F V
F V V
F F F
3.2 Disyunción Fuerte ( )
Establece una relación de dependencia entre las proposiciones que se vinculan mediante el
conectivo “ Si… entonces … “
pq
Hipótesis Tesis
Antecedente Consecuente
Premisa Conclusión
Ejemplo:
Siempre que p, q
Dado que p , q
p por lo tanto q
p es suficiente para q
p luego q
p implica q
p se concluye q
p en consecuencia q
p así que q
Si p, q
p sólo si q
q es necesaria para p
q se deduce de p
Ejemplo:
p: Los polvos de jardín contienen veneno
q: Los polvos de jardín son de colores brillantes.
Son necesarios los colores brillantes para los polvos de jardín que contienen
veneno;
Tabla de verdad:
p q pq
V V V
V F F
F V V
F F V
Ejemplo: Sea
p: La respuesta automática se puede enviar.
p q :
q p :
q p :
p q :
lo mismo ellas deben poder conmutarse. Se vinculan mediante el conectivo “ si y solo si”
Ejemplo
p : 24 es un número par.
q : 24 es divisible por 2.
p si y sólo si q
p siempre y cuando q
p se define lógicamente como q
p es equivalente, equivale q
p por lo cual por la misma forma q
p si de la misma forma q
p es idéntica q
p es igual (es igual, entonces) q
p cada vez que y sólo si q
6. La Binegación ( 1° FUNCIÒN SHEFFER)
Llamada también Negación conjunta- Inalternador
Que vincula a dos proposiciones mediante “ no … y no …” .
“Ni … ni… , “
Ejemplo: