MATEMÁTICA BÁSICA UNSCH-

DAMF
RESUMEN SOBRE LA INTERPRETACIÓN DE
EXPRESIONES:

Proposiciones Negativas.-
«Es imposible que….», «No es cierto que…»
«no es el caso que….», etc.

Proposiciones Conjuntivas:
«…. y ….» «e», «pero», «sin embargo», «no obstante»,
«aún», «también», «además», etc.

-Disyunción Débil: -Disyunción Fuerte:

« … o….» «o … o….»
c. Proposiciones Condicionales.-
«Si… entonces….»
a) Condicional Directa (A entonces B):
… por consiguiente….» «… de modo que…»,
«… por lo tanto», «…. En consecuencia….»
Todos denotan una derivación hacia la conclusión.

b) Condicional Inversa:
«siempre que….», «.. puesto que…», «…ya que…», «… si
bien… «. Todos nos hacen referencia a indicadores de
premisa (antecedente).

d. Proposiciones Bicondicionales.-
«si y solo sí»; …cuando y sólo cuando….», «…entonces y
solamente entonces…», etc. Ejem:

1 PRF. AGUILAR ALTAMIRANO; ERICK E

 MATEMÁTICA BÁSICA
PARTE 03
(SIMBOLIZACIÓN)
SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y
operadores asi como, darles jerarquía. Son los
siguientes:
* Paréntesis ( ) * Corchetes [ ]
* Llaves { } * Barras ||
a) JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los
operadores dentro de los signos de colección,
llamados también de agrupación.
Para jerarquizar hay que tener en cuenta los
siguientes requisitos:
* Sólo presentan jerarquía los conectivos lógicos (y,
o, entonces, si y solo si, etc.).
* Para realizar una correcta jerarquización hay que
tener en cuenta los signos de puntuación del texto
a jerarquizar, en cuanto ellos indican la ubicación
UNSCH-
DAMF
En una tabla de verdad se presentan tres casos:
A) TAUTOLOGÍA: SI Todos los valores son
verdaderos
B) CONTRADICCIÓN: Si todos los valores son
falsos
C) CONTINGENCIA: si aparecen verdad y falso
FÓRMULA LÓGICA
Es la combinación de variables proposicionales y conectivos
lógicos, no es ni verdadera ni falsa
VALIDES DE UN ESQUEMA LÓGICO
Es determinar la veracidad o falsedad de un esquema de
acuerdo a los valores veritativos de las variables.
PARTE 05:

*
de los signos de colección.
En el texto, el punto seguido tiene mayor jerarquía, ÁLGEBRA PROPOSICIONAL
le sigue en 2do. lugar el punto y coma, y en 3er.
lugar la coma. PRINCIPALES LEYES LÓGICAS
b) REGLAS PARA JERARQUIZAR
1. Donde esté ubicado el signo de puntuación más 1. Ley de Doble Negación ó ley de
importante del texto, ahí se encuentra ubicado el involución:
conectivo principal. ~ (~ p) ≡ p
2. Donde se encuentre un signo de puntuación ahí se
abre o cierra un signo de colección (paréntesis,
corchete o llave) 2. Ley de la Indempotencia:
3. El conectivo que se encuentre fuera o en la parte
más externa de los signos de colección es el que
tiene mayor jerarquía. (pp) ≡ p; (pp) ≡ p
4. Si encontramos un texto donde se presente una
sucesión de idénticos signos de puntuación, será 3. Leyes del Elemento Neutro o ley de
mayor el que presente como conectivo entonces,
luego o cualquiera de sus sinónimos. complementación:
5. La negación antecede a la variable (~p), no enlaza p  ~p ≡ F p  ~p ≡ V
proposiciones, pues no es conectivo: (p ~ q). pV ≡V pV ≡p
pF ≡p pF ≡F
4. FÓRMULAS
Es el resultado de la correcta formalización y 4. Ley de Absorción:
jerarquización de las proposiciones o inferencias. a. p  (p  q) ≡ p
b. p  (p  q) ≡ p
PARTE 04 c. p  (~p  q) ≡ pq
d. p  (~p  q) ≡ p q
TABLAS DE VERDAD
5. Ley de Morgan:
RESUMEN DEL CUADRO DE VERDAD a. ~ (p  q) ≡ p ~q
b. ~ (p  q) ≡ ~p ^~q
p q p pq pq p  pq pq pq pq
q 6. Ley Conmutativa:
V V F V V F V V F F
V F F F V V F F V F
a. (pq) ≡ (qp)
F V V F V V V F V F b. (pq) ≡ (qp)
F F V F F F V V V V c. (p↔q) ≡ (q↔p)

2 PRF. AGUILAR ALTAMIRANO; ERICK E

 MATEMÁTICA BÁSICA UNSCH-
DAMF
7. Ley Asociativa:
Una inferencia es cuando todas las premisas
(p  q)  r ≡ p  (q  r ) son verdaderas y la conclusión también es
(p  q)  r ≡ p  (q  r) verdadera
(p ↔ q) ↔ r ≡ p ↔ (q ↔ r)

8. Ley Distributiva:  P1

a. p  (q  r) ≡ ( p  q ) v ( p  r )  P2

b. p v (q  r) ≡ (p  q)  (p  r) Premisas  P3 ;  P1  P2  P3  ...Pn   q
c. p → (q  r) ≡ (p → q)  (p → r) 
d. p → (q  r) ≡ ( p → q ) v ( p → r ) 
9. Ley del Condicional  Pn
a. p → q ≡ ~ p  q
b. ~ (p → q) ≡ p  ~q Conclusión q

10. Leyes del Bicondicional IMPLICACIONES NOTABLES

a. p ↔ q ≡ (p → q)  (q → p) 15. Ley de modus ponens.
b. p ↔ q ≡ (p  q)  (~p~q) p→q [( p → q)  p]→q
p .
11. Leyes de transposición
q
a. (p→q)≡~q→~p
b. (p↔q)≡~q↔~p 16. Ley de modus tollens
p→q [( p → q)  ~q]→ ~p
12. Leyes de exportación ~q .
a. (pq)→r ≡ p→ (q→r)
 ~p
b. (p1 p2 … pn)→r ≡ (p1 p2…pn-1)→ (pn
→r) 17. Ley de silogismo disyuntivo.
a. p  q [( p  q)  ~p]→ q
13. Shafer de incompatibilidad ~p .
p ↑ q ≡~ (p  q)
q
14. Nicod de negación b. p  q [( p  q)  ~q]→ p
p ↓ q ≡~ (p  q) ~q .
p
18. ley de la inferencia Equivalente
PARTE 06 p↔q [( p ↔ q)  p]→ q
02. INFERENCIA LÓGICA p .
En la matemática llamamos razonamientoa un par ordenado q
 
 pi  ; q donde,  pi  es un conjunto finito de 19. ley de silogismo hipotético.
proposiciones, llamadas premisas y “q” una p → q [( p → q)  (q→r ) ] → (p→r)
proposición llamada conclusión. q→r .
Un razonamiento es deductivo si y sólo si las premisas
 p→r
son evidencias de la verdad de la conclusión. Es decir
si p1; p2; ………..; pn son verdaderas entoces “q” es
verdadera; cuando se deduce esto se dice que se ha
cosntruido una inferencia. De este modo, toda regla de 20. Ley de la transitividad simétrica
inferencia es tautológico.
Una inferencia es válida si y sólo si la premisa “p” o
p↔q [( p ↔ q)  (q↔r ) ] → (p↔r)
conjunción del conjunto de premisas  pi 
implica la q↔r .
conclusión “q”, esto es, Si:  p↔r
(p1; p2; ………..; pn )→q es una tautología.

3 PRF. AGUILAR ALTAMIRANO; ERICK E

 MATEMÁTICA BÁSICA UNSCH-
DAMF
21. Ley de simplificación
a. p  q ( p  q) →p
p
b. p  q ( p  q) →q Pasa corriente (𝑝 ∧ 𝑞)
q CIRCUITOS PARALELOS: son aquellos provistos
22. Ley de adición de los interruptores” e “q” conectados en
a. p . p → (pq) paralelo. Consideremos ahora dos interruptores
instalados en paralelo.
 pq p
b. q . q → (pq)
𝑝∨𝑞
 pq

23. Ley del absurdo q

a. p → (q~q) [p → (q~q)] →~p ∽𝑝
.
 ~p ∽ 𝑝 ∨∽ 𝑞
b. ~p → (q~q) [~p → (q~q)]→p
∽𝑞
.
p
∽𝑝

PARTE 07 Pasa corriente

((∽ 𝑝 ∨ 𝑞)
q
CIRCUITOS BOOLEANOS (CIRCUITOS
LÓGICAS)
El valor de verdad de una proposición puede
asociarse al pasaje de corriente en un circuito
eléctrico controlado por un interruptor
mediante una proposición “p” si tiene.

p
CIRCUITO CERRADO

p
CIRCUITO ABIERTO

Es decir, el interruptor está cerrado (pasa

corriente) si v (p)=v, y está abierto (no pasa
corriente) si v (p)=F

CIRCUITOS EN SERIE:
Son aquellos provistos de dos interruptores
“p” e “q” conectados en serie.

p q (∽ 𝑝 ∧ 𝑞) p q

No pasa corriente

4 PRF. AGUILAR ALTAMIRANO; ERICK E