UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Facultad de Ingeniería
ALGEBRA A

Síntesis teórica: LÓGICA

Proposición:…………………………………………………………………………………
………………………………………………………………………………………….

Conectivos lógicos
Símbolo:
……… ……… ………. ……… ….….

Operaciones lógicas y tablas de valores de verdad

……… ……… ………. ……… ….….

p -p p q p∨q p q p∧q p q p⇒q p q p⇔q

Observaciones:
1) En p⇒q :
p es el …………….. o la ………………….
q es el …………….. o la …………………

La implicación p⇒q se lee:

…………………………………………………………………………. ó
…………………………………………………………………………. ó
…………………………………………………………………………. ó
…………………………………………………………………………. ó
Si implicación p⇒q es verdadera entonces
p es condición …………………………………………………………. y
q es condición ………………………………………………………….

2) La doble implicación o ……………. p⇔q se lee:

…………………………………………………………………………. ó
…………………………………………………………………………. ó
………………………………………………………………………….

Implicaciones asociadas

Directa Recíproca Contraria Contrarrecíproca

p⇒q

Tautología:………………………………………………………………………………

Lógica – Síntesis teórica – Página 1

 UNIVERSIDAD NACIONAL DE MAR DEL PLATA
Facultad de Ingeniería
ALGEBRA A

Contradicción:…………………………………………………………………………
Regla de inferencia: ...................................................................................................

Equivalencia lógica:……………………………………………………………………..

Leyes lógicas:

1) − ( − p) ⇔ ……. (ley de involución)

2) p ∧q ⇒ ………. ; p ∧q ⇒ ………. (leyes de simplificación)

3) p ⇒ ………. (ley de adición)

4) p ∧q ⇔ …….. ; p ∨q ⇔ ……….. (leyes conmutativas)

5) (p ∨q) ∨ r ⇔ …………; ( p ∧q) ∧ r ⇔ ………….. (leyes asociativas)

6) p ∨ (q ∧ r) ⇔ ………..; p ∧ (q ∨ r) ⇔ …………… (leyes distributivas)

7) p ⇒ q ⇔ …………... ( equivalencia entre una implicación y una disyunción)

8) − (p ∨q) ⇔ …………... (ley de De Morgan para la negación de una disyunción)

9) − (p ∧q) ⇔ …………... (ley de De Morgan para la negación de una conjunción)

10) − (p ⇒ q) ⇔ p …………... (ley de la negación de una implicación)

11) (p ⇒ q) ∧ p ⇒ …………... (modus ponens o modo positivo)

12) (p ⇒ q) ∧ − q ⇒ …………... (modus tollens o modo negativo)

14) (p ⇒ q) ∧(q ⇒ r) ⇒ …………... (ley del silogismo hipotético)

15) (p ∨ q) ∧ − p ⇒ …………... (ley del silogismo disyuntivo)

16) (p ⇔ q) ⇔ …………... (la equivalencia “equivale” a la conjunción de una

implicación y su recíproca)

17) p ⇒ q ⇔ …………... (equivalencia entre una proposición y su contrarrecíproca)

18) (p ⇔ q) ∧(q ⇔ r) ⇒ …………...

19) (p ⇔ q) ∧(q ⇔ r) ⇔ …………...

Lógica – Síntesis teórica – Página 2

 UNIVERSIDAD NACIONAL DE MAR DEL PLATA
Facultad de Ingeniería
ALGEBRA A

20) p ⇒ q ⇔ …………..........….. (base del método del absurdo)

Observación: las leyes lógicas pueden demostrarse por dos métodos:

1)……………………………………………………………..
2)………………………………………………………………

Razonamiento:………………………………………………………………
………………………………………………………………………………………

Razonamiento válido:………………………………………………………………
………………………………………………………………………………………

Razonamiento sólido:………………………………………………………………
………………………………………………………………………………………

Cómo demostrar una implicación

Forma directa:......................................................................................................
………………………………………………………………………………………...
Forma indirecta:………………………………………………………………..
………………………………………………………………………………………...
Método del absurdo:……………………………………………………………
………………………………………………………………………………………..

Cómo demostrar una equivalencia

………………………………………………………………………………………….....
……………………………………………………………………………………………
Función o esquema proposicional:……………………………………………………..
…………………………………………………………………………………………….

Cuantificadores: Universal…………. Existencial………..

Negación de funciones proposicionales cuantificadas

− (∀x P( x )) ⇔ .......................... − (∃x P( x )) ⇔ ............................

Lógica – Síntesis teórica – Página 3

 UNIVERSIDAD NACIONAL DE MAR DEL PLATA
Facultad de Ingeniería
ALGEBRA A

Síntesis teórica: INDUCCIÓN

Principio de Inducción en N

…………………………………………………………………………………
…………………………………………………………………………………
…………………………………………………………………………

Definiciones por inducción (recursivas)

Potencia de base real y exponente natural:

…………………………………………………………………………………………….
……………………………………………………………………………………………

Factorial de un número natural:

…………………………………………………………………………………………….
…………………………………………………………………………………………….

Sumatoria de índice natural:

...............................................................................................................................
…………………………………………………………………………………………….

Principio de Inducción generalizada

…………………………………………………………………………………
…………………………………………………………………………………
…………………………………………………………………………

Lógica – Síntesis teórica – Página 4