Nombre y apellidos: Sialer Deivin Peña Mejía

Curso: Matemática básica

Carrera profesional: Ingeniería Mecánica y

Eléctrica
 Lógica
La lógica matemática es la ciencia que estudia el razonamiento, a través de
proposiciones que se evalúan únicamente de dos maneras: verdadero o falso. Se parte
de una o varias afirmaciones, llamadas “premisas”, y de ellas se obtienen otras
afirmaciones, que constituyen la “conclusión”

Símbolo Conectivo lógico Significado

no p
no es cierto que p
~
Negación no ocurre que p
(también ¬)
es falso que p
…etc.

pyq
p aunque q
p pero q
ʌ Conjunción p sin embargo q
p no obstante q
p a pesar de q
…etc.

p o q o ambos
v Disyunción o bien p o bien q
…etc.

p o q, pero no ambos
Disyunción excluyente
⊻ o bien p o bien q, pero no ambos
(o diferencia simétrica)
…etc.

si p, entonces q
solo si p entonces q
Condicional p es suficiente para q
→
(o implicación) q es necesario para p
no p a menos que q
…etc.

p si y solo si q
Bicondicional
↔ p suficiente y necesario para q
(o doble implicación)
…etc.
Diferencias
pues bien las matemáticas también tiene un lenguaje para expresar la distancia numérica
que existe entre dos cantidades o entre dos mediciones, dicha distancia se obtiene por
medio de la resta de los dos números y le llamamos diferencia, por ejemplo
la diferencia que existe entre el numero 20 y el 30 .
Diferencia quiere decir restar un valor de otro. Por ejemplo la diferencia entre 5 y 3 es:
5−3 = 2.
Formulas lógicas:

Circuito lógico: