Está en la página 1de 4
UNIVERSIDAD NACIONAL DE MAR DEL PLATA Facultad de Ingeniería ALGEBRA A

UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Facultad de Ingeniería ALGEBRA A

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

Síntesis teórica: LÓGICA

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

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

Símbolo:

Conectivos lógicos

………

………

……….

………

….….

Operaciones lógicas y tablas de valores de verdad

………

………

……….

………

….….

p -p
p -p
p q p⁄ q
p
q p⁄ q
p q p q
p
q p q
p q p⇒q
p
q p⇒q
p q p€ q
p
q p€ q

Observaciones:

1)

p es el ……………

q es el ……………

En pq :

o la ………………….

o la …………………

La implicación pq se lee:

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

Si implicación pq es verdadera entonces

p es condición ………………………………………………………….

q es condición ………………………………………………………….

y

2) La doble implicación o …………….

pq se lee:

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

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

Implicaciones asociadas

Directa

Recíproca

Contraria

Contrarrecíproca

pq

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

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

UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Facultad de Ingeniería ALGEBRA A

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

7)

pq

r) ………

…………

;

p

(q

r)

…………… (leyes distributivas)

( 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)

10)

(p q)

…………

(p ⇒ q) € p …………

(pq) p …………

(ley de De Morgan para la negación de una conjunción)

(ley de la negación de una implicación)

11) (pq)

p …………

(modus ponens o modo positivo)

12) (pq)

q …………

(modus tollens o modo negativo)

14)

(pq) (qr) …………

15) (p

q)

p…………

(ley

del silogismo hipotético)

(ley del silogismo disyuntivo)

16) (pq)

17) pq

…………

…………

(la equivalencia “equivale” a la conjunción de una implicación y su recíproca)

(equivalencia entre una proposición y su contrarrecíproca)

18) (pq) (qr) …………

19) (pq) (qr)

…………

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

UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Facultad de Ingeniería ALGEBRA A

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

20) pq

…………

(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))

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

UNIVERSIDAD NACIONAL DE MAR DEL PLATA

Facultad de Ingeniería ALGEBRA A

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

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

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

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