LÓGICA MATEMÁTICA

PROPOSICIONES:
Una proposición en matemáticas es un enunciado que por consenso universal está sujeto
a ser verdadero o falso.

Por ejemplo:

* -(-7+5*2)>-2 F
* Quito es la capital del ecuador V
* 3x+2=6 F
*-4+3 =-1 V
* 2 es un numero par y menor que 10 V

Ejemplos:

* La raíz de 16 es 4 V

* El primer presidente del Ecuador fue Juan José Flores V

* Carro en el idioma ingles es cat F

CONECTIVAS LÓGICAS
Las conectivas lógicas se clasifican en: Simples y Compuestas.
El número de combinaciones de una proposición se realiza de la siguiente formula:

n→ Numero de variables o proposición

2
CONECTIVAS LÓGICAS SIMPLES

NEGACIÓN

Es un operador lógico que sirve para negar una proposición se representa con el símbolo

(no, ¬, ~, !, not)

Unario
p ¬p 21 = 2
0 1

1 0

CONJUNCIÓN

Es un operador que sirve para enlazar dos proposiciones simples mediante el uso del término que
se representa con el símbolo (i, ^, AND, &&, &)

Binario

p q p^q 22 = 2 * 2 =4
0 0 0

0 1 0

1 0 0

1 1 1

DISYUNCIÓN

Es un operador que se utiliza para enlazar dos proposiciones simples, se representa con el símbolo
(o, ,ͮ OR)

Binario
22 = 2 * 2 = 4
p q p ͮ q
0 0 0
0 1 1
1 0 1
1 1 1
 CONECTIVAS LÓGICAS COMPUESTAS

IMPLICACIÓN

Es un operador que sirve para enlazar dos proposiciones p y q mediante la expresión si …

entonces, se representa con el símbolo (→, =>)

Binario

22 = 2 * 2 = 4
p q p→q
0 0 1
0 1 1
1 0 0
1 1 1

EQUIVALENCIA

Cuando ambas proposiciones tienen el mismo valor de verdad para una misma asignación de
valores de las proposiciones que las componen se representa con el símbolo (↔, <=>)

Binario

22 = 2 * 2 = 4
p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1

Ejercicio en clase

~(p → q ) ↔ [( q → p ) ^ p ] 22 = 2 * 2 = 4

p q (p→q) ~( p → q) ( q → p ) [( q → p ) ^ p ] ~(p → q ) ↔ [( q → p ) ^ p ]
0 0 1 0 1 0 1
0 1 1 0 0 0 1
1 0 0 1 1 1 1
1 1 1 0 1 1 0
Contingencia
Ejercicios
Negación

~( p ˄ q ) 22 = 2 * 2 = 4

p q
0 0
0 1
1 0
1 1
(p ˄ q) ~(p ˄ q)
0 1
0 1
0 1
1 0
Contingencia

[( p v q ) ˄ ~p] 22 = 2 * 2 = 4

p q ~p (p v q ) [(p v q)˄~p]
0 0 1 0 0
0 1 1 1 1
1 0 0 1 0
1 1 0 1 0
Contingencia

[( p → q ) v ~ q] 22 = 2 * 2 = 4

p q ~q (p → q) [( p → q ) v ~ p]
0 0 1 1 1
0 1 0 1 1
1 0 1 0 1
1 1 0 1 1

Tautólogia
Conjunción

(˥P Λ ˥Q) 22=2*2=4

p q ˥p ˥q ( ˥p Λ ˥q )
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 0 0 0
Contingencia

23 = 2 * 2 * 2 = 8
[( p ˅ r ) ˄ ( q → ~ r )]

( q → ~ r [( p ˅ r ) ˄ ( q →
p q r ~r (p˅r) ) ~ r )]
0 0 0 1 0 1 0
0 0 1 0 1 1 1
0 1 0 1 0 1 0
0 1 1 0 1 0 0
1 0 0 1 1 1 1
1 0 1 0 1 1 1
1 1 0 1 1 1 1
1 1 1 0 1 0 0
Contingencia

[( p → q ) ˄ ~ q] 22 = 2 * 2 = 4

p q ~q (p → q) [( p → q ) ˄ ~ q]
0 0 1 1 1
0 1 0 1 0
1 0 1 0 0
1 1 0 1 0
Contingencia
Disyunción

[( p → q ) ˅ ( r → ~ p )] 23 = 2 * 2 * 2 = 8

p q r ~p (p→q) ( r → ~ p ) [( p → q ) ˅ ( r → ~ p )]
0 0 0 1 1 1 1
0 0 1 1 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 0 0 1 1
1 0 1 0 0 0 0
1 1 0 0 1 1 1
1 1 1 0 1 0 1
Contingencia

[( p ˄ q ) ˅ ~ p )] 22 = 2 * 2 = 4

p q ~p (p˄q) [( p ˄ q ) ˅ ~ p )]
0 0 1 0 1
0 1 1 0 1
1 0 0 0 0
1 1 0 1 1
Contingencia

[( p → ~ q ) ˅ r ] 23 = 2 * 2 * 2 = 8

p q r ~q ( p → ~ q ) [( p → ~ q ) ˅ r ]
0 0 0 1 1 1
0 0 1 1 1 1
0 1 0 0 1 1
0 1 1 0 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 0 1
Contingencia
Implicación

[( q ˅ r ) → s] 23 = 2 * 2 * 2 = 8

q r s (q ˅r) [( q ˅ r ) → s]
0 0 0 0 1
0 0 1 0 1
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 0
1 1 1 1 1
Contingencia

[( q ˅ r ) → ( ~ q ˅ r )] 22 = 2 * 2 = 4

q r ~q (q˅r) ( ~q˅r) [( q ˅ r ) → ( ~ q ˅ r )]
0 0 1 0 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 1 0 1 1 1
Contingencia

[( p ˅ ~q ) → r ] 23 = 2 * 2 * 2 = 8

p q r ~q ( p ˅ ~q ) [( p ˅ ~q ) → r ]
0 0 0 1 1 0
0 0 1 1 1 1
0 1 0 0 0 1
0 1 1 0 0 1
1 0 0 1 1 0
1 0 1 1 1 1
1 1 0 0 1 0
1 1 1 0 1 1
Contingencia
Equivalencia

[( q v p ) ↔ q] 22 = 2 * 2 = 4

p q (qvp) [( q v p ) ↔ q]
0 0 0 1
0 1 1 1
1 0 1 0
1 1 1 1
Contingencia

[p ↔ ( q ˄ r )] 23 = 2 * 2 * 2 = 8

p q r (q˄r) [p ↔ ( q ˄ r )]
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1
Contingencia

[ ~ q ↔ ( p → q )] 22 = 2 * 2 = 4

p q ~q (p →q) [ ~ q ↔ ( p → q )]
0 0 1 1 1
0 1 0 1 0
1 0 1 0 0
1 1 0 1 0
Contingencia