Está en la página 1de 12

Lgica Proposicional

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

LOS CONECTIVOS LOGICOS


Los conectivos lgicos son smbolos que sirven para formar proposiciones con otras proposiciones. Estos son:

-: NO : Y : O EN SENTIDO INCLUYENTE
: ENTONCES O IMPLICA : SI Y SOLO SI : O EN SENTIDO EXCLUYENTE

Lgica Proposicional

PROPOSICIONES SIMPLES Y COMPUESTAS

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

TABLA DE VALORES DE VERDAD


Una tabla de valores de verdad de una proposicin, es una tabla que se arma con los posibles valores de verdad de las proposiciones simples que la componen, con la finalidad de obtener el valor de verdad de la proposicin dada.Cantidad de valores de verdad debe llevar una tabla

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

La disyuncin o suma lgica


La disyuncin de las proposiciones p y q es la proposicin pvq, donde p y q se llaman disyuntivos, cuya tabla de valores de verdad es la siguiente:

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

La conjuncin o producto lgico


La conjuncin de las proposiciones p y q es la proposicin pq, donde p y q se llaman conjuntivos, cuya tabla de valores de verdad es la siguiente:

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

p: apruebo q: te presto el libro

F
F

V
F

V
V

p q: apruebo, entonces te presto el libro

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

Condiciones necesarias y suficientes


p q pq V F p condicin SUFICIENTE para q (q si p) q condicin NECESARIA para p (p slo si q)

V
V F

V
F V

V
V

Lgica Proposicional

El bicondicional o la doble implicacin


El bicondicional de las proposiciones p y q es la proposicin pq, cuya tabla de valores de verdad es la siguiente:

p V V F F

q V F V F

pq V F F V

p: apruebo q: te presto el libro

p q: solamente si apruebo, te presto el libro

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

p q: estudio o bien 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.-

También podría gustarte