domingo, 10 de abril de 2011

LÓGICA TRADICIONAL Y LÓGICA MODERNA

LÓGICA ELEMENTAL:

*lógica proporcional o de enunciados

*lógica cuantificacional o de predicados

*Meta teoría (reflexiones)

LÓGICA PROPORCIONAL

Relaciones entre proporciones si analizar y se simbolizan P1, P2, P3, P, Q, R, S.

“popeye cruzo el atlántico a nado”---p

PROPOSICIONES SIMPLES Y COMPUESTAS

Simples = atómicas

Compuestas= moleculares

Unidas por si entonces

EJ:

P

¬ q

V

F

F

v

Algunas proposiciones expresan negación

P= diego es ecologista

T=diego no es ecologista

Si una proposición afirmativa es verdadera, su negación será falsa y si la afirmación es falsa su negación es verdadera.

EJ:

“no digo ni una sola palabra” ¬p "no es cierto que estuvo allí"¬¬p

¬¬ P equivalente a P

(/\) disyuntor ---implicador

(/\) conjuntar ---coimplicador

Ej

Fi al cine y me encontré con pilar p /\ q= fui al cine q= me encontré con pilar

/\=pero, y, aunque, sin embargo

DISYUNCION

P \/q = p o q

“o realizar un trabajo o presentar un examen” p= hago un trabajo = inclusiva

q=presento un examen

p

q

p/\

v

v

V

v

f

F

F

v

f

f

f

f

EXCLUSIVA O EXCLUYENTE

“o voy a la excursión o me quedo en casa” ( pero no ambas a la vez”)

(P\/q) /\ ¬ (pnq)P o q

p

q

p\/q

V

v

V

V

F

V

F

V

v

F

F

f

INPLICADOR

Conectar si entonces

“cuando hago deporte siempre acelera el pulso p-q”

“si p entonces q”

“P implica q”

p

q

p-q

V

v

V

V

F

F

F

V

V

F

F

V

EJEMPLO: conseguirás el aprobado solo si trabajas”

-------------------------------- ----------- q p

p-q

Si trabajamos entonces conseguirás el aprobado mutua dependencia

“si y solo si me pagas el contado te doy la computadora”

O aumenta la presión física la inversión.

Aumenta la presión fisca luego, no cree la inversión (¬p\/¬q)/\p --¬q

p

q

Q

V

V

V

V

F

F

F

V

F

F

F

V

Comprobación de validez de esquemas argumentativos

Construcción de – tablas verdad

Indeterminación de tradición

Esquema argumentativo

Esquema argumentativo no es válido en ningún caso


No hay comentarios:

Publicar un comentario