Leyes Lógicas

Leyes Lógicas Leyes lógicas. Son proposiciones universales , necesarias, evidentes y verdaderas. 1. Ley del tercio excluido : Ley de la lógica, según la cual de dos enunciados, cuando uno niega lo que se afirma en el otro, uno de ellos es... More

Leyes Lógicas Leyes lógicas. Son proposiciones universales , necesarias, evidentes y verdaderas. 1. Ley del tercio excluido : Ley de la lógica, según la cual de dos enunciados, cuando uno niega lo que se afirma en el otro, uno de ellos es imprescindiblemente verídico. La formuló Aristóteles. Así, de los dos enunciados: “el Sol es astro” (A es B) y “el Sol no es astro” (A no es B), uno es imprescindiblemente verídico. Teniendo en cuenta los enunciados de este género, la lógica formal tradicional a menudo formulaba la ley del tercero excluido del siguiente modo: “A es B, o no es B” (lo tercero no está dado: tertium non datur). Esta ley a menudo se utiliza en el proceso de demostración, en particular, en las demostraciones por reducción al absurdo. 2. Ley de involución y doble negación:. En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto se expresa diciendo que una proposic Less