Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Matemática
Lógica
La lógica es la disciplina filosófica que tiene un carácter
formal, ya que estudia la estructura o formas de
pensamiento (tales como conceptos, proposiciones,
razonamientos) con el objeto de establecer
razonamientos o argumentos válidos o correctamente
lógicos
UNIDAD 1 Lógica y teoría de conjuntos
Importancia de la Lógica
La lógica es importante para la ciencia y para otras
áreas del conocimiento en el sentido del ORDEN, la
SECUENCIA y la SISTEMATIZACIÓN en el logro de
objetivos y en la solución de problemas.
Proposiciones lógicas
Concepto: Es todo enunciado que puede ser V o F
Ejemplos
p q p v q p q p q p q p ˄ q
V V V V V F V V V
V F V V F V V F F
F V V F V V F V F
F F F F F F F F F
Conectivos lógicos
D) implicación E) Doble Implicación (bicondicional) F) Negación
Símbolo “ ↔ ” <=> Símbolo “ ¬ ” ~
Símbolo “ ” o =>
Se lee “p ↔ q” : p si y solamente si q: p <=> q
Se lee “p => q” : si p entonces q Se lee:
¬ p no es cierto que p
p q p => q p q p ↔ q p ¬p
V V V V V V V F
V F V V F F F V
F V V F V F q ¬q
F F F F F V V F
F V
PASANTÍA-PROESAD
Formulario
“v” = FF=F
“˄” = VV = V
“=>” = VF = F
“<=> ”= VV/FF= V
“∆” = VV/ FF = F
Observaciones
1) La proporciones compuestas reciben en nombre de esquema
Moleculares.
GERENCIA
2) Si el valor de verdad en un esquema son solo verdaderos recibe el
nombre de
Tautología. GENERAL
3) Si son puros falsos Contradicción.
a) ~ [~ (p v p) → ~ q] ↔ (p → q)
b) ~ [ (~ p) ↔ q] ↔ (p → q)
c) [ (p ˄~ q) ˄ q] → p
d) [ (p ˄~ q) ˄ q] → p
d) [~ p ˄(q v ~r) ] ↔ [ (~ p ˄ q ) v ~(p v r) ]