LOGICA PROPOSICIONAL

Llamada en todos los libros también como lógica matemática principalmente le decían
simbólica.
La lógica matemática, la llamamos como simbólica, nueva o actualizada, se le conoce
por su total formalidad y por su puesto por que utiliza símbolos convencionales.
La lógica Matemática tiene los siguientes términos de lógica y lógica proposicional.
Los estudios de la lógica proposicional tienen como objetivo como el razonamiento
proposicionales y las proposiciones. De igual forma establecen métodos que provee a la
falsedad o verdad de la proposición dada, aquí se ve la invalidez o validez los
razonamientos proposicionales.

PROPOSICIONES (ATOMICAS Y MOLECULARES)

- La proposición atómica
Es la unidad mínima que da sentido para decidir su falsedad u verdad

Ejemplo:
Salvador Dalí era un pintor surrealista.
Albert Einstein fue un destacado político argentino.
- La proposición molécula
Esta proposición está formada por uno o más atómicas que se enlazan por
medio de conectivas lógicas, y su verdadero valor se dice, es decir verdadero o
falso, en esta fusión o el verdadero valor de la fusión de proposiciones atómicas
componentes.

Ejemplo:
Esta proposición molecular da el valor a la verdad: “hoy es domingo “o “hoy hace frio”,
con esta función el valor de la verdad cada proposición atómica recoge el valor: si es
cierto que “hoy es domingo “si fuera cierto “hoy hace frio”, en esta proposición
molecular será verdad. En caso, si otras atómicas o las dos, son falsas, o será falsa la
proposición molecular.
Ejemplo:
Hoy no es un día verano.
Esta es una proposición molecular porque a la proposición atómica “Hoy es un día de
verano” se la agrega la conectiva lógica monódica “no”.
Una proporción molecular es el valor de la verdad “Hoy es un día de verano”, está en
función del valor de verdad de la proposición atómica “Hoy es un día de verano”. La
La verdadera molecular será cuando una atómica sea falsa, y una molecular es cuando la
atómica es verdadera. Esto llega a suceder cuando la negación invierte un valor de la
verdad de una proposición afectada.
Conozcamos algunos lenguaje abstracto para utilizar:
- variables proposicionales
- conectivas
-signos de puntuación
Proposiciones variables
Esta proposición nos permitirá reemplazar. Un símbolo de lectras imprentas o
minúsculas, desde “p”.
Ejemplo:
Entró sigilosamente (proposición)
P (variable proposicional)
Las conectivas extensionales
Son los conocimientos lingüísticos (los signo lógicos que representa) que, formadas de a
uno o dos enunciados, permitiéndonos encontrar un enunciado compuesto.

Conectiva monódica: daña a la única proposición. Cuando simbolizamos tiene que

anteceder a una variable proposicional.
Eje:
No (puede seguir bailando)
Conectiva proposición
Simbolización: - p

.llamadas diádicas o vinarias conectivas: tienen una relación a 2 proposiciones para

simbolizar tienen que figurar o colocarse por 2 variables
Eje:
(Iré a verte) o (te llamare por teléfono)
p o q
p v q

(Tengo la información suficiente) y (entiendo lo sucedido)

p y q
 p . q

REFERENCIAS BIBLIOGRAFICAS

Colegio24hs (2014). Lógica proposicional. N° de clasificación de Biblioteca: BC181 --

C691 2004ebeb. Ebookcentral. Proquest.

Forero, A. (2009). Matemática estructural. ISBN: 9789586954525. Departamento de

Matemáticas, Universidad de los Andes. Bogota DC, Colombia.

Recopilado del Buscador Académico: EBOOK CENTRAL, de nuestro ERP

ULADECH.
https://ebookcentral.proquest.com/lib/bibliocauladechsp/reader.action?docID=3211456
&query=MATEMATICA