Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PROPOSICIONAL - Coggle Diagram
LÓGICA PROPOSICIONAL
Es una forma de comunicación, donde utilizamos un lenguaje simbólico: p, q, r, etc.
En la lógica proposicional se implica
PROPOSICIONES
Es una declaración compuesta por sujeto-verbo-predicado que puede ser falso o verdadero. Hay 2 tipos:
Proposición Compuesta:
Conjunto de varias ideas/oraciones
Proposición Simple:
Es una sola idea/oración declarada en positivo.
CONECTORES LÓGICOS
Conjunción (y) :
⋀
Es
V
cuando ambas proposiciones son
V.
Disyunción (o) :
V
Es
V
cuando al menos unas de las proposiciones es
V.
Negación (no) :
∽,¬,-
Implicación (si...entonces) :
→
Solo es
F
cuando
V
implica
F
Bicondicional (si y solo si) :
↔
Es
V
cuando p y q son iguales, ya sea ambos
F
o
V
Disyunción exclusiva :
∆, ⨁
Es
V
cuando solo una de las proposiciones es
V
pero no ambas.
Negación conjunta :
↓
Es
V
cuando cuando ambas proposiciones
son
F.
Negación Alternativa :
↑
Es
F
cuando ambas proposiciones son
V.
TABLAS DE VERDAD
Determina las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en:
Contradictorias:
Enunciados F
Contingentes:
Combinación de V y F
Tautologías:
Resulta todo V
Tabla de verdad
LEYES DEL ÁLGEBRA PROPOSICIONAL
Definición y leyes