P. 1
Algebra de Proposiciones

Algebra de Proposiciones

|Views: 36.672|Likes:

More info:

Published by: Juan Pablo Arzola Palma on Jun 15, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

10/25/2015

pdf

text

original

Los argumentos basados en tautologías representan métodos de
razonamiento universalmente correctos. Su validez depende solamente

de la forma de las proposiciones que intervienen y no de los valores de
verdad de las variables que contienen. A esos argumentos se les llama
reglas de inferencia. Las reglas de inferencia permiten relacionar
dos o más tautologías o hipótesis en una demostración.

En la sección anterior quedaron planteadas las principales
equivalencias lógicas, ahora se enumerarán algunas de las inferencias
básicas,para emplear en demostraciones :

12.- Adición.

a). p ⇒ (p ∨q)

13.- Simplificación.

a). (p ∧q) ⇒ p

14.- Absurdo

a). (p→ 0) ⇒ p'

15.- Modus ponens.

a). [p ∧(p→ q)] ⇒ q

16.- Modus tollens.

a). [(p→ q) ∧q'] ⇒ p'

17.- Transitividad del →

a). [(p↔ q) ∧(q↔ r)] ⇒ (p→ r)

18.- Transitividad del →

a). [(p→ q) ∧(q→ r)] ⇒ (p→ r)

19.- Mas implicaciones lógicas.

a). (p→ q) ⇒ [(p ∨r) → (q ∨s)]

b). (p→ q) ⇒ [(p∧r) → (q∧s)]

c). (p→ q) ⇒ [(q→ r) → (p→ r)]

20.- Dilemas constructivos.

a). [(p→ q) ∧(r→ s)] ⇒ [(p ∨r) → (q ∨
s)]

b). [(p→ q) ∧(r→ s)] ⇒ [(p∧r) → (q∧s)]

Todas estas implicaciones lógicas son demostrables con tablas de
verdad.

A continuación se cita una lista de las principales reglas de inferencia
que se pueden aplicar en una demostración, posteriormente se
presentan algunos ejemplos aclaratorios.

21.- Adición

p

_____

∴ p ∨q

22.- Simplificación

.p ∧q

_______

∴ p

23.- Silogismo disyuntivo

.p ∨q

p’

___________

∴ q

24.- Silogismo hipotético

p→ q

q→ r

________

p→ r

25.- Conjunción

p

q

___________

p ∧q

26.- Modus pones

p

p→ q

__________

.q

27.- Modus Tollens

p→ q

q’

__________

.p’

A continuación se presentarán dos ejemplos de inferencias.

Ejemplo 1

¿Es valido el siguiente argumento?.

Si usted invierte en Tecnología, entonces se hará millonario.

Si se hace usted millonario, entonces será feliz.

____________________________________________________

∴ Si usted invierte en tecnología, entonces será feliz.

Solución

Sea:

p: Usted invierte en tecnología.

q: Se hará millonario.

r: Será feliz

De tal manera que el enunciado anterior se puede representar con
notación lógica de la siguiente manera:

p → q

q → r

______

∴ p → r

Dando una ojeada a la implicación lógica o inferencia del silogismo
hipotético (24) el argumento es valido&
.

Ejemplo 2.

¿Es valido el siguiente argumento?.

Si bajan los impuestos, entonces se eleva el ingreso

El ingreso se eleva.

_________________________________________

∴ Los impuestos bajan

Solución:

Sea

p: Los impuestos bajan.

q: El ingreso se eleva.

p → q

q

_____

∴ p

No aparece en ninguna de las inferencias básicas y tampoco en
ninguna de las reglas, de tal suerte que solo aplicando la tabla de
verdad se sabrá si es verdadera o falsa.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->