Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lgica (concepto) La Lgica es la Ciencia que expone las leyes, modos y formas de raciocinio.Aporte de la Lgica a la Matemtica De acuerdo al concepto anterior, podemos asegurar que la simbologa que usa la lgica, ayuda a la Matemtica en todos sus razonamientos.-
Lgica Proposicional
PROPOSICIN Una proposicin es toda oracin de la cual se puede decir que es verdadera o falsa.
Por ejemplo:
Hoy es lunes
V F
Toda proposicin se la representa con letras minsculas y preferentemente las ltimas del abecedario, o sea:
p, q, r, s, t, u
Lgica Proposicional
-: NO : Y : O EN SENTIDO INCLUYENTE
: ENTONCES O IMPLICA : SI Y SOLO SI : O EN SENTIDO EXCLUYENTE
Lgica Proposicional
Una proposicin se dice que es simple o atmica, si no est afectada por conectivos lgicos. Caso contrario, se dice que la proposicin es compuesta o molecular. SIMPLE: p
PROPOSICION
COMPUESTA: p q
Lgica Proposicional
n valores A'
2 n proposiciones
n proposiones
O sea que, si el nmero de proposiciones simples que componen una proposicin es 5, los valores de verdad sern:
n valores 25 32
Lgica Proposicional
OPERACIONES PROPOSICIONALES
La Negacin
La negacin de la proposicin p es ~p, cuya tabla de valores de verdad es la siguiente: p V F ~p F V
Como conclusin podemos decir que la negacin es verdadera si la proposicin simple es falsa y viceversa.
Lgica Proposicional
p
V V
q
V F
pq
V V
p: estudio q: veo TV
F
F
V
F
V
F
p v q: estudio o veo TV
Como conclusin podemos decir que la disyuncin es verdadera si al menos uno de los disyuntivos tambin lo es.-
Lgica Proposicional
p V V F F
q V F V F
pq V F F F
p: estudio q: veo TV
p q: estudio y veo TV
Como conclusin podemos decir que la conjuncin es verdadera si ambos conjuntivos tambin lo son.-
Lgica Proposicional
El condicional o la implicacin
El condicional de las proposiciones p y q es la proposicin pq, donde p se llama antecedente y q consecuente, cuya tabla de valores de verdad es la siguiente:
p
V V V F
pq
V F
F
F
V
F
V
V
Como conclusin podemos decir que el condicional es falso si el antecedente es verdadero y el consecuente es falso (2 lnea de la tabla).-
Lgica Proposicional
V
V F
V
F V
V
V
Lgica Proposicional
p V V F F
q V F V F
pq V F F V
Como conclusin podemos decir que el bicondicional es verdadero si los valores de verdad de las proposiciones simples que la componen son iguales.-
Lgica Proposicional
La diferencia simtrica
La diferencia simtrica de las proposiciones p y q es la proposicin p q, cuya tabla de valores de verdad es la siguiente:
p V
q V
pq F
V
F F
F
V F
V
V F
p: estudio q: veo TV
Como conclusin podemos decir que la diferencia simtrica es verdadera si los valores de verdad de las proposiciones simples que la componen son distintos.-