UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE EDUCACION DEPARTAMENTO ACADMICO DE EDUCACIN FSICA ESCUELA ACADMICO PROFESIONAL DE EDUCACIN

FSICA

LEYES Y PRINCIPIOS LGICOS

LEY O PRINCIPIO LGICO: DEFINICIN.- Un esquema o frmula es una ley lgica si y slo si es verdadera para cualquiera de sus valores de las variables componentes. Las principales leyes o principios lgicos podemos clasificar en grupos: 1. Leyes Lgicos Clsicos 2. Equivalencias Notables 3. Implicaciones Notables I. LEYES LGICOS CLSICOS 1. LEY DE IDENTIDAD: Una proposicin es idntica a s misma. ppp pmp 2. LEY DE NO CONTRADICCIN: Una proposicin no puede ser verdadero o falso a la vez. b (p b p) 3. LEY DEL TERCIO EXCLUIDO: Una proposicin es verdadero o es falso, no hay una tercera posibilidad. pbp II. EQUIVALENCIAS NOTABLES: 1. LEY DE LA DOBLE NEGACIN O INVOLUCIN: La negacin de la negacin es una afirmacin. b(bp) 2. pp p p pmp p

|
p

LEY DE LA IDEMPOTENCIA

3. LEY CONMUTATIVA pq pq

|qp pmq |qmp

4. LEY ASOCIATIVA p(qr) p(qr)

pm (qm r)

|p |p

qp

| |

(pq)r (pq)r (pm q)m r

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE EDUCACION DEPARTAMENTO ACADMICO DE EDUCACIN FSICA ESCUELA ACADMICO PROFESIONAL DE EDUCACIN FSICA

5. LEYES DISTRIBUTIVAS p(qr)

| (pq)(pr) p(qr) | (pq)(pr) pp(qr) | (ppq)(ppr) pp(qr) | (ppq)(ppr)

6. LEYES DE MORGAN b(pq) b(pq)

| |

bpbq bpbq

7. LEYES DEL CONDICIONAL ppq b (p p q )

|bp q |p bq

8. LEYES DEL BICONDICIONAL pmq pmq

| |

(p p q ) (q p p ) ( p q ) (b p b q)

9. LEYES DE ABSORCIN p(pq) p(pq)

| |

p; p;

p (b p q ) p (b p q )

| |

pq p q

10.LEYES DE TRANSPOSICIN ppq pmq

|bqp |bqm

bp bp

11.LEY DE EXPORTACIN (pq)pr

pp(qpr)

12.LEY DE LOS ELEMENTOS NEUTROS p ( V) p ( V)

| |

p; V ;

p ( F) p ( F)

| |

F p

13.LEY DEL COMPLEMENTO pbp pbp

| |

F; V;

b (V)

|F b ( F) | V

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE EDUCACION DEPARTAMENTO ACADMICO DE EDUCACIN FSICA ESCUELA ACADMICO PROFESIONAL DE EDUCACIN FSICA

INFERENCIA LGICA La teora del razonamiento correcto, llamado tambin teora de la inferencia lgica, teora de la deduccin o teora de la demostracin, constituye una de las partes ms importantes de la lgica. Su aplicacin se manifiesta no solo en las ciencias exactas, como la Matemtica, sino en muchos otros mbitos, como la Filosofa, el Derecho y, en general, en la vida diaria. DEFINICIN.- Una Inferencia o razonamiento es la aseveracin de que una proposicin, llamada conclusin, es consecuencia de otras proposiciones dadas, llamadas premisas. Si un razonamiento tiene como premisas P1 , P2 , P3 , .... , Pn y como conclusin a C, entonces a ste lo representamos mediante el esquema siguiente:

P1 , P2 , P3 , ... Pn @C

P2 P3 .... Pn C

Cada una de las premisas se une con el operador conjuntivo y la conclusin con respecto a sus premisas con el operador condicional.

RAZONAMIENTOS VLIDOS Si la conclusin se deduce co rrectamente del conjunto de premisas, la inferencia vlida o la conclusin es consecuencia lgica del conjunto de premisas; pero si conclusin no se deduce correctamente del conjunto de premisas, simplemente inferencia no es vlida. Si el esquema lgico es tautolgico, la inferencia es vlida, caso contrario la inferencia es invlida o sea es una falacia. es la la en

DEFINICIN.- Diremos que un razonamiento es vlido o correcto si y solo si la conjuncin de las premisas implica lgicamente la conclusin. Es decir, un razonamiento:

P1 P2 P3 .... Pn p C
es correcto si y solo si

P2 P3 .... Pn C es una tautologa. p