Elementos del lenguaje simbólico de la lógica matemática.

Conectivas

Conectiva Formula Logica Expresion en Semantica

lenguaje natural
Negacion ¬ ¬A No A A ¬A
Es Falso que A V F
F V
Conjuncion ᴧ AᴧB AyB A B AᴧB
A pero B V V V
A aunque B V F F
F V F
F F F
Disyuncion v AvB AoB A B Av
Bien A bien B B
Al menos A o B V V V
V F V
F V F
F F F
Condicional → A→B Si A entonces B A B A→
A solo si B B
A suficiente para B V V V
B necesario para A V F V
F V F
F F V
Bicondicional ↔ A↔B A si y solo si B A B A↔B
A necesario y V V V
suficiente para B V F F
F V F
F F V

Cuantificadores

Cuantificador Formula Logica Expresion en lenguaje natural Semantica

Universal ꓯ ꓯ x: P(x) Para todo x se cumple P(x) ꓯ x: P(x) es cierta si y solo si P(x)
Para cualquier x se cumple P(x) es cierta para todos los x del
dominio
ꓯ x: P(x) es falsa si y solo si P(x) es
falsa para al menos un x del
dominio
Existencial Ǝ Ǝx: P(x) Existe un x tal que P(x) Ǝx: P(x) es cierta si y solo si P(x) es
Para algun x se cumple P(x) cierta para al menos un x del
dominio
Ǝx:P(x) es falsa si y solo si P(x) es
falsa para todos los x del dominio
Leyes básicas de la lógica e inferencia deductiva
Ley Expresion Simbolica
Eliminacion de conjuncion AᴧB => A
AᴧB => B
Introduccion de disyuncion A => AvB
Descenso AᴧB => AvB
Ex Contradictione Quodlibet Aᴧ ¬A => B
Carga Condicional A => B→A
Modus Poens (A→B)ᴧA => B
Modus Tollens (A→B)ᴧ¬B => ¬A
Tollendo Ponens (AvB)ᴧ¬A => B
(AvB)ᴧ¬B => A
Silogismo (A→B)ᴧ(B→C) => A→C
Especificacion universal ꓯ x: A(x) => A(t)
Generalizacion existencial A(t) => Ǝx: A(x)
Identidad AA
Doble Negacion ¬¬A  A
Idempotencia AᴧA A
AvA A
Asociativas Aᴧ(BᴧC)  (AᴧB)ᴧC
Av(BvC) (AvB)vC
Conmutativas AᴧB  BᴧA
AvB  BvA
Distributivas Aᴧ(BvC)  (AᴧB)v(AᴧC)
Av(BᴧC)  (AvB)ᴧ(AvC)
Tercio excluso Aᴧ(Bv¬B)  A
No Contradiccion Av(Bᴧ¬B) A
De Morgan ¬(AᴧB)  ¬Av¬B
¬(AvB)  ¬Aᴧ¬B
Interdefinicion condicional/conjuncion A→B ¬(Aᴧ¬B)
¬(A→¬B) AᴧB
Interdefinicion condicional/disyuncion A→B ¬AvB
¬A→B AvB
Interdefinicion bicondicional/condicional A↔B (A→B)ᴧ(B→A)
Interdefinicion de cuantificadores ¬ꓯ x: A(x) Ǝx: ¬A(x)
¬Ǝx: A(x) ꓯ x: ¬A(x)

Metodos de inferencia deductiva: ((pv¬q)→(qᴧr))ᴧ(q→p) => qvr

((¬qvp) → (qᴧr)) ᴧ (q→p) => Conmutativa
((q→p)→(qᴧr)) ᴧ (q→p) => Interdefinicion →/v
q ᴧ r => Modus Poens
qvr => Descenso
 Propiedad Expresion Simbolica
Idempotencia AᴜA=A
A ꓵ A=A
Identidad AᴜØ=A; AᴜU=U
A ꓵ Ø=Ø; A ꓵ U=A
Asociativas Aᴜ(BᴜC)=(AᴜB)ᴜC
A ꓵ(B ꓵ C)=(A ꓵ B)ꓵ C
Conmutativas AᴜB=BᴜA
A ꓵ B=B ꓵ A
Distributivas Aᴜ(B ꓵ C)=(AᴜB)ꓵ(AᴜC)
A ꓵ(BᴜC)=(A ꓵ B)ᴜ(A ꓵ C)
Absorcion Aᴜ(A ꓵ B)=A
A ꓵ(AᴜB)=A
Doble Complemento (Aᶜ)ᶜ
Complemento del vacio y del universo Øᶜ=U
Uᶜ=Ø
Union e intersección de complementos AᴜAᶜ=U
A ꓵ Aᶜ=Ø
De Morgan (AᴜB)ᶜ=Aᶜ ꓵ Bᶜ
(A ꓵ B)ᶜ=AᶜᴜBᶜ