derechos humanos

Leyes de De Morgan
Las leyes de De Morgan son una parte de la lógica proposicional y álgebra de Boole, y fueron creadas por Augustus De Morgan (1806-1871).
Las leyes de De Morgan 
Las Leyes De Morgan sirven para declarar que la suma de n variables proposicionales globalmente negadas (o invertidas) es igual al producto de la n variable negada individualmente y que inversamente, el productode n variables proposicionales globalmente negadas es igual a la suma de las n variables negadas individualmente.


Demostración formal 
 Si y solo si  y .
Para cualquiera x:  o 
 O 

Por lo tanto 
 Inclusión:

 O 
Con proposiciones 
La prueba utiliza la asociatividad y la distributividad de las leyes  y .
Verdad
Si verdad por n




Modus ponendo ponens
En lógica, modus ponendoponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otra manera de presentar el modusponens con el condicional es:

Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de la deducción se haya centrado en la justificación delmodus ponens.


Escolio
Se llama escolios (del latín scholium y éste del griego σχόλιον, ‘comentario’) a las notas o breves comentarios gramaticales, críticos o explicativos, ya sean originales o extractos de comentarios existentes, que se insertan en los márgenes del manuscrito de un autor antiguo como glosa sucinta. Similarmente, se llama así a las notas marginales que en los textosmatemáticos modernos desarrollan una demostración o razonamiento.
Estas notas eran alteradas por sucesivos copistas y propietarios del manuscrito y en algunos casos ampliadas hasta tal extremo que no quedaba más sitio para ellas y se hacía necesario pasarlas a un libro separado. Al principio se tomaban de un único comentario, y posteriormente de varios. Esto es indicado por la repetición del lema o por eluso de frases tales como «o así», «o por el contrario», «según algunos», etcétera para presentar diferentes explicaciones. Se considera a Dídimo de Alejandría el primer erudito dedicado a compilar escolios, práctica que continuó hasta el siglo XV o XVI.
La palabra scholium fue usada por vez primera por Cicerón (Ad Atticum xiv.7). La mayoría de los escolios griegos conservados son anónimos, con lasprominentes excepciones de los comentarios de Eustacio de Tesalónica sobre Homero y Juan Tzetzes sobre Licofrón. Frecuentemente triviales, los escolios contienen mucha información que no se encuentra en otro sitio, y son de considerable valor para la corrección e interpretación del texto. Los más importantes son los hechos sobre Homero (especialmente los escolios venecianos sobre la Ilíada,descubiertos por Villoison en 1781 en la biblioteca de San Marcos en Venecia), Hesíodo, Píndaro, Sófocles, Aristófanes y Apolonio Rodio, y, en latín, los de Servio sobre Virgilio, de Acro y Porfirio sobre Horacio y los de Donato sobre Terencio.


Algoritmo
(Redirigido desde «Algoritmos
Los diagramas de flujo sirven para representar algoritmos de manera gráfica.
En matemáticas, lógica, ciencias dela computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus y este a su vez del matemático persa Al-Juarismi1 ) es un conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien deba realizar dicha actividad.2 Dados un estado inicial y una entrada,...