La lógica simbólica es la
rama de las matemáticas que nos permite reconocer la validez de una argumentación,
así como también nos proporciona las herramientas de razonamiento necesarias
para elaborar demostraciones irrefutables y convincentes.
Historia
Giuseppe peano dio el
nombre de lógica Matemática a este apartado de las matemáticas. Está basado en
la lógica filosófica de Aristosteles, pero con una visión más moderna aplicando
a la nueva notación matemática.
Lógica
de proposiciones
Definición de proposición:
Es cualquier agrupación de palabras o símbolos que tengan sentido y de la que
en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad
o falsedad de una proposición es lo que se llama su valor lógico o valor de
verdad. V o 1 Verdadero F o 0 Falso. A las proposiciones las representamos con
letras minúsculas.
Tipos
de proposiciones conectivas:
Singulares (̴ , No)
y
Binarias:
-Conjunción
(∧, y)
-Disyunción
inclusiva (∨, o)
-Condicional
(→, sí...
entonces…);
-Equivalencia lógica ↔ Dadas las proposiciones p, q, se
define una equivalencia p↔q como una nueva proposición que se lee
“p si y solo si q” que es verdadera
cuando la p y la q tienen a la vez los mismos valores de verdad. En el caso que
p↔q sea verdadera se dice p y q son equivalentes y también que p
es condicional necesaria y suficiente de q y viceversa.
Conectivos lógico sus significado
No hay comentarios.:
Publicar un comentario