Estructura Discreta

Unidad # 1
LGICA

Es la disciplina que trata de los mtodos, modos y forma de razonamiento

humano .ofrece reglas y tcnicas para determinar si argumento es vlido o no.
una de las metas fundamentales de la lgica es eliminar la ambigedad de un
lenguaje ordinario, introduciendo smbolo y conectivo lgico en la construccin
de proposiciones.
Dado que la proposiciones son la base del razonamiento lgico que consiste en
decidir la validez de una idea en base en un enunciado que previamente fue
aceptado.

PROPOSICIONES
Es toda oracin o enunciado respecto del cual se puede decidir si es verdadero
o falso pero no ambos a la vez.es decir toda la proposicin esta asociada a un
valor de verdad la cual puede ser verdadera o falsa as una proposicin es
verdadera si se dice que el valor es verdadero es V y falsa si su valor es F
NOTA:una proposicin es una oracin que tiene un solo valor de verdad en el
transcurso del tiempo o cual-quiera sea el lugar de donde se este ocupando
dicha proposicin
Ejemplo
a) los gatos hablan si
b) maana sale el sol no
c)cual es su nombre no
d)5+4 = 8 si
Notaciones y conectivo lgicos
A las proposiciones simple o genrica (atmicas) se acostumbran denotar por
letra minscula p,q,r
Ejemplo
p: los gatos hablan F
q: la tierra es esfrica V
~p: V
~q: F
a partir de proposiciones simple se puede generar otra proposiciones simple o
compuesta utilizando cierta constante proposicional llamados conectivos
lgicos tales como el conectivo no, en smbolo"~" el conectivo y se denota "^"
O se denota, "v" si entonces se denota " --->" si y solo si se denota "<--->" y
o excluyente " "
Operaciones proposicionales
dado una o dos proposiciones cuyo valor de verdad se conoce la operaciones
entre proposiciones trata de generar otra proposicin resultante a travs de su
valor de verdad de su valor de verdad estas son la negacin, la conjuncin,
disyuncin, implicacin, doble implicacin y la disyuncin exclusiva
Negacin "~"
Conjuncin "^"
Disyuncin "v"
Implicacin ""
Doble implicacin "<--->"
Negacin
se es una proposicin p se llama negacin de p a la proposicin que se obtiene
del conectivo no p , en smbolo "~p" su tabla de valor de verdad p y no p

EJ.
p: los gatos hablan F
q: log V
Conjuncin "^"
se llama conjuncin de proposiciones p y q a la proposicin que se obtiene
uniendo por el conectivo y se escribe "p^q"
tabla
Nota: el valor de verdad de conjuncin es verdadera si ambos valores de
verdad son verdadero caso contrario es falso
Disyuncin
la disyuncin de dos proposiciones p y q se llama a la proposicin que se
obtiene uniendo por medio del conectivo o se escribe " p v q " y se lee "p o q "

Nota: el valor de verdad de la disyuncin p o q es falso si ambos valores de

dicha proposicin son falso caso contrario es verdadero

Implicacin
se llama implicacin de dos proposiciones p y q a la proposicin que se obtiene
unindola por medio del conectivo si ..... entonce se escribe p ----> q y se lee si
p entonce q donde esta proposicin llamada antecedente y q proposicin
consecuente
tabla

Nota: el valor de verdad entre p y q es falso si el antecedente es verdadero y

consecuente es falso caso contrario el valor de verdad es verdadero
Definicin de doble implicacin (Bicondicional)
se llama doble implicacin o bicondicional de proposiciones p y q a la
proposicin que se obtiene ---unindolo por medio del conectivo si y si solo si,
se escribe p <----> se lee "p si y solo si"
tabla

Nota: el valor de verdad de la doble implicacin entre p y q es verdadero si

ambos tiene el mismo valor de verdad caso contrario falso
definicion
p <---> q = (p--->) ^ (q---->p)
Disyuncin exclusiva
se llama disyuncin exclusiva de dos proposiciones p y q a la proposicin que
se obtiene unindola por el conectivo excluyente se escribe "p q" se lee " p
excluye a q"
tabla

Nota:el valor de verdad en la disyuncin exclusiva entre p y q es verdadero si

los valores de verdad diferente (opuesto) caso contrario es falso
definicin
p q = ~(p<--->q)
Formulas proposicionales
es una combinacin de proposiciones y conectivo lgico que simboliza una
proposicin compuesta o molecular Ej.
a) (p ---->q)----> r
tabla de valores de verdad
el valor de verdad de una formula proposicional depende de los valores de
verdad de la proposiciones simple que lo componen es decir se debe analizar
todas la posible combinacin de valores de verdad de las proposiciones que la
componen de los valores de verdad de la primera columna por tanto si una
formula proposicional interviene para la tabla de valor de verdad se calcula con
"z"
Clasificacin de formulas proposicionales
se clasifican segn el valor de verdad de la columna resultante
tautologia,contradiccin y contingencia
Tautologia: es una formula proposicional que es verdadera para cualquier
combinacin de preposiciones de entrada de dicha formula proposicional
Contradiccin: es una formula proposicional que es falsa para cualquier
combinacin de entrada de dicha formula proposicionales
contingencia; que no es ni tautologia ni contradiccin
Equivalencia lgica
dos formulas proposicionales son lgicamente equivalente si su tabla de
verdad expresa de la misma forma

lgebra de preposiciones
son operaciones lgica que se realizan en una formula proposicional aplicando
adecuadamente ciertas reglas bsica llamadas leyes lgica es decir como en
lgebra bsica donde la simplificacin de expresiones algebraico es muy
importante en la lgica tambin existe la necesidad de simplificar formulas
proposicionales compleja a travs de cierta equivalencia llamada leyes lgica
Leyes lgicas

Circuito en serie y en paralelo

las operaciones proposicionales se pueden referenciar mediante circuito lgicos
con tanto interruptores como preposiciones que la componen en serie o en
paralelo segn el conectivo lgico que une la preposiciones

Circuito en serie
un circuito con un interruptor puede estar abierto o cerrado cuando el
interruptor esta abierta no permite el paso de corriente mientra cuando esta
cerrado lo permite si asociamos una preposicin al interruptor vemos en
lgebra de circuito v (verdadero) que tal preposicin indica que interruptor esta
cerrado y f (falso) el interruptor esta abierto
Circuito en paralelo (p v q)
la disyuncin de dos proposiciones (p v q) esta representa un circuito lgico en
paralelo

Inferencia lgica
se debe entender por inferencia lgica a un razonamiento valido a partir de un
conjunto de proposiciones valida llamada premisa se obtiene un resultado
llamado conclusin , un razonamiento es valido si y si solo la conjuncin la
premisa indica la conclusin es decir que derivan de ella lgicamente sern
verdadera caso contrario si una o mas premisa es falso la conjuncin tambin
sera falsa
Reglas de inferencia
se llama regla de inferencia a todo argumento universalmente correcto que
representa mtodos generales de conocimiento valido
funciones proposicionales y sus cuantificadores
a)funciones proposicionales: en una variable x es toda expresin en la x
representada al sujeto u objeto perteneciente a cierto conjunto la cual se
convierte en proposicin para cada especificacin de x es decir p v e x
es una expresin que se convierte en proposicin al sustituir la variable x por
un objeto matemtico que dice que p es una funcin proposicional as mismo
gay funciones proposicionales con mas de una variable
cuantificadores
a partir de funcione proposicionales se puede obtener proposiciones generales
mediante un mtodo o proceso llamado cuantificacion para ello introducimos
los siguiente simbolo " " llamado universal y existenciales respectivamente

negacin de cuantificadores