Please enable JavaScript.
Coggle requires JavaScript to display documents.
lógica proposicional y operaciones lógicas (¿Cuáles son los conectivos que…
lógica proposicional y operaciones lógicas
¿Qué es la lógica?
La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida
La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal.
¿Qué son las proposiciones?
Una proposición es una sentencia que puede ser verdadera o falsa.
¿Cuáles son los conectivos que se utilizan en la construcción de las proposiciones?
Negación
Se representa
(~p)
Ejemplo: No quiero ir al parque
Disyunción
Se escribe
"p V q"
y se lee "p o q".
Ejemplo: Trabajo o estudio
Conjunción
Se simboliza como
"p Λ q"
, y se lee como "p y q"
.
Ejemplo: 4+5=9
y
8+3=11
Condicional
Se simboliza como
"p -> q",
y se lee
"Si p entonces q".
Ejemplo:
Si
me llega el dinero
entonces
compro el carro
Bicondicional
Se simboliza
"p <-> q"
, y se lee
"p si y sólo si q".
Ejemplo: yo como helado
si y sólo si
tiene chispitas
La disyunción exclusiva
Se denota
, y se lee:
"O bien p o bien q".
Ejemplo: o compro el celular o compro los tenis
¿Clases de proposiciones?
Simples
Cuando NO usa conectores lógicos o términos de enlace (y, o, no, si… entonces…, si y sólo si)
Compuestas
Cuando se juntan varias proposiciones simples con conectores lógicos o términos de enlace
¿Cómo se construyen las proposiciones?
Conectores linguisticos
Conectores logicos
