Vous êtes sur la page 1sur 8

2

Dr. Ing. Juan Antonio Rodrguez Sejas

NOCIONES DE LGICA MATEMTICA


1.- PROPOSICIN.Consideremos las siguientes oraciones y relaciones matematicas:
1.- Qu hora es?
2.- Alto!
3.- Wilsterman es el mejor equipo del futboll Boliviano
4.- Los partidos neoliberales impiden las transformaciones en el Pas
5.- Los troskos siempre mienten a los estudiantes
6.- x + 2y -7
Son oraciones, interrogativa la primera; imperativa la segunda y las cuatro ltimas son
declarativas.
De las dos primeras no podemos decir que son verdaderas ni falsas, por cuanto una pregunta
puede formularse o no y una orden puede ser cumplida o no. En cambio de las dos ultimas que
son declarativas, tiene sentido decir que son verdaderas o falsas, a estas se denominan
proposiciones.
Entonces:
PROPOSICIN, es toda oracin respecto de la cual puede decirse si es verdadera o falsa
o sea esta asociada a un valor de verdad, el cual puede ser verdadero (V) o sino falso (F)
y se las representan mediante las letras p, q, r, s,....
2.- SIMBOLOGIA
Las proposiciones se simbolizan generalmente con las letras p, q, r, o A, B, C, etc.
Ej.: La proposicin Wilsterman es el mejor equipo del futbol Boliviano se puede simbolizar
con la letra p
3.- CLASIFICACIN
Las proposiciones se clasifican en:
SIMPLES O ATMICAS, son las proposiciones que NO utilizan conectivos lgicos o llamados
tambin trminos de enlace.
COMPUESTAS O MOLECULARES, son las proposiciones que se obtienen de la combinacin
de dos o mas proposiciones simples las que son enlazadas por los trminos de enlace; por lo tanto
SI utilizan conectivos lgicos o trminos de enlace.

3
IMPORTANTE.- A partir de proposiciones simples se pueden generar proposiciones compuestas.
4.- TRMINOS DE ENLACE O CONECTIVOS LGICOS
Llamados tambin operadores lgicos; son smbolos que enlazan proposiciones simples, sin
formar parte de ellas, para formar proposiciones compuestas.
CONECTIVO

OPERACIN ASOCIADA
Negacin
Conjuncin o producto Lgico
Disyuncin o suma Lgica
Implicacin o Condicional
Doble implicacin
Diferencia simtrica

SIGNIFICADO
No p o no es cierto que p
pyq
p o q (en sentido incluyente)
p implica q o si p, entonces q
p si y solo si q
p o q (en sentido excluyente)

5.- OPERACIONES PROPOSICIONALES


IMPORTANTE.- Como consecuencia de estas operaciones el resultado SIEMPRE es otra
Proposicin denominada proposicin compuesta.
5.a.- NEGACIN.- ()
Se trata de una operacin unitaria, por cuanto a partir de una proposicin se obtiene otra que es su
negacin y cuya tabla de verdad es:
p

V
F

F
V

5.b.- CONJUNCIN ( )
Es una operacin donde intervienen siempre dos proposiciones, operacin binaria y cuya tabla de
verdad es :

V
V
F

V
F
F

V
F
V

4
5.c.- DISYUNCIN ( )
Es tambin una operacin que involucra a dos proposiciones y cuya tabla de verdad es:

V
V
F
F

V
V
V
F

V
F
V
F

Observar que o en sentido incluyente es V, cuando una de las dos proposiciones es verdadera.
5.d.- IMPLICACIN O CONDICIONAL ()
Definida tambin para dos proposiciones: p y q, donde p es llamado el ANTECEDENTE y q el
CONSECUENTE y cuya tabla de verdad es:

V
F
F
V
F
V
La proposicin condicional est asociada a otras tres
recproca, la inversa y la contrareciproca

F
V
F
proposiciones importantes, estas son: la

La proposicin reciproca que corresponde a la condicional p q es q p


La proposicin inversa o contraria que corresponde a la condicional p q es ~ p ~ q
La proposicin contrareciproca que corresponde a la condicional p q es ~ q ~ p
5.e.- DOBLE IMPLICACIN O BICONDICIONAL.-( )
Operacin asociada tambin al juego de dos proposiciones y cuya tabla de verdad es:
p

V
V
F
F

V
F
F
V

V
F
V
F

5
5.f.- DIFERENCIA SIMTRICA.- ( o )
Llamada tambin disyuncin excluyente, donde la verdad de la operacin esta caracterizada por
la verdad de una y solo una de las proposiciones, su tabla de verdad es:

V
V
F

F
V
V

V
F
V

6.- VALORES DE VERDAD


Para proposiciones simples el valor de verdad es simplemente la eleccin de una de las
dos alternativas: Verdadero (V) o falso (F).
Para proposiciones compuestas o sea con varias proposiciones el nmero de alternativas
es determinada por la ecuacin 2n; donde n es el nmero de proposiciones simples de la
proposicin compuesta; luego se elabora la tabla de verdad correspondiente para
finalmente determinar el valor de verdad de la proposicin compuesta, considerando los
siguientes criterios:
TAUTOLOGA: si todos los valores de verdad de la tabla son Verdaderos
CONTRADICCIN: si todos los valores de verdad de la tabla son Falsos
CONTINGENCIA: si los valores de verdad en la tabla son mezcladitos;
o sea es una combinacin de verdaderos (V) y falsos (F)
7.- CIRCUITOS LGICOS
La verdad de una proposicin puede asociarse al pasaje de corriente en un circuito elctrico con
un interruptor, donde el interruptor se cierra, si la proposicin p es Verdadera o 1 y se abre si p es
Falsa o 0.
Para representar a p si es Verdadera (1), se tiene:

Para representar a p si es Falsa (0), se tiene:

6
Las operaciones proposicionales de la CONJUNCIN y la DISYUNCIN, se pueden representar
mediante las conexiones serie y paralelo de los circuitos elctricos, llamados en lgica, circuitos
lgicos, a saber:
CONJUNCIN ( ) : Operacin proposicional representada mediante la conexin en
SERIE de los circuitos elctricos:
p
q

Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son
verdaderas:
p
q

1
1
0
0

1
0
0
0

1
0
1
0

DISYUNCIN ( ) : Operacin proposicional representada mediante la conexin en


PARALELO de los circuitos elctricos:
p

Se verifica que no pasa corriente, para el caso de que ambas proposiciones son falsas:
p

1
1

1
1

1
0

0
1
1
0
0
0
0
Para el caso de la disjuncion excluyente o diferencia simtrica y aprovechando sus equivalentes
lgicos, nos permite operar:
p q ~ (p q) (p q) ~ (p q) (p ~ q) (q ~ p)
Lo que nos permite representar el circuito lgico que corresponde a p q:

7
DIFERENCIA SIMETRICA ():
p

~q

~p

Permite pasar la corriente cuando una de las proposiciones es verdadera:


p

1
0
0

1
1
0

0
1
0

Igualmente para el condicional, aprovechando su equivalente lgico:


IMPLICACION O CONDICIONAL ( ) :
~p

8.- LEYES LGICAS


INVOLUCIN :

( p) p

IDEMPOTENCIA:

p p p
p p p

CONMUTATIVIDAD:
p q q p
p q q p
p q q p

IDENTIDAD:
p F p
V p p
LEY DE ABSORCION:
p F F
p V V
LEY DEL COMPLEMENTO:

p V

p F

8
ASOCIATIVIDAD:
p (q r) (p q) r
p (q r) (p q) r
p (q r) (p q) r

DISTRIBUTIVIDAD:
p (q r) (p q) (p r)
p (q r) (p q) (pr)
p (q r) (p q) (pr)
p (q r) (p q) (pr)

EQUIVALENTES LGICOS:

LEY * :
p (p q) p
p (p q) p

p q p q
p q (p q) (q p)
p q ~(pq)

LEYES DE DMORGAN:

(p
(p

LEY ** :
p (

p q

p q

p q)
( p q )

q)
q)

p q
p q

LEY DE LA CONTRARECIPROCA:
p q

q p

9.- RAZONAMIENTO DEDUCTIVO VALIDO


LEY DEL MODUS PONENS:
p q
p
q
[(p q) p] q

LEY DEL SILOGISMO


HIPOTTICO:
p q
q r
p r
[(p q) (q r)] (p r)

LEY DEL MODUS TOLLENS:


p q

q
p
[(p q) q] p
LEY DEL MODUS TOLLENDO PONENS:
pq
p q

[(p q) p] q
[(p q) q] p

9
SIMPLIFICACIN:
p q
p q
p
q
(p q) p
(p q) q

SILOGISMO DISYUNTIVO:
p q
p r
q s
r s

LEY DE LA CONJUNCION:
p
q
p q

LEY DE LA ADICION:
p
p W
p (p W)

[(p) (q)] (p q)
10.- CUANTIFICADORES

Introducimos la cuantificacin asociada a un objeto determinado x, perteneciente a cierto


universo o conjunto expresado mediante los smbolos x llamado cuantificador universal y
x
llamado cuantificador existencial en x, entonces:
Para todo x, se verifica P(x) y se denota por x : P(x)

Existe x, tal que se verifica P(x) y se denota por x / P(x)

y corresponde a una funcin proposicional P(x) o propiedad relativa al objeto x cuantificado


universalmente en el primer caso y existencialmente en el segundo caso.
Para negar una funcin proposicional cuantificada universalmente, se cambia el cuantificador en
existencial y se niega la funcin proposicional; igualmente para la negacin de un cuantificador
existencial, o sea:

[ x : P(x) ]
[ x /
Marzo del 2016

x/

P(x)

P(x) ] x /

P(x)

Vous aimerez peut-être aussi