Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APORTE INDIVIDUAL
Presentado por:
YESSICA ANDREA MESA RINCON
CDIGO 1030580671
Grupo: 90004_69
Presentado a:
Tutor
BENJAMIN GONZALEZ
PvQ
PR
QR
.. R
Ley de de Morgan
(AvB) (A)^(B)
Esta Ley nos dice que la negacin global de dos o ms premisas unidas, es
equivalente a la negacin de dichas premisas en forma individual y viceversa
Ej.:
La negacin de: Si Karen sale o Francisco compra un obsequio
(KvF)
Karen no sale y Francisco no compra el obsequio.
(K)^ (F)
donde:
es el operador de negacin (NO)
es el operador de conjuncin (Y)
es el operador de disyuncin (O)
es un smbolo metalgico que significa "puede ser reemplazado en una prueba
lgica"
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente
notacin:
y negacin de la disyuncin
Ley de absorcin
Absorcin es una forma lgica de argumento vlido y una regla de inferencia de
la lgica proposicional.1 2 La regla establece que se implica , entonces
implica y . La regla hace posible introducir conjunciones en pruebas. Esto se
llama ley de absorcin ya que el trmino es "absorbido" por el trmino en
la consecuencia.
Formalmente:
o sea: siempre que aparezca una instancia de " " en una lnea de alguna
prueba, " " se puede concluir en la lnea siguiente.
La regla de absorcin puede escribirse en la notacin subsiguiente: