You are on page 1of 2

La logica proporciona los principios por los cuales llegamos a conclusiones y

establecemos argumentos.
La logica tambien proporciona las reglas con las cuales razonamos en matematicas, para tener
exito en matematicas debemos entender estas reglas.
Los bloques basicos de construccion de la logica son proposiciones.
Una proposicion es una oracion declarativa la cual puede tener un valor verdadero (T) o falso
(F) pero no ambos.
roposiciones simples (algunas veces llamado subproposiciones) pueden ser combinadas para
!acer proposiciones mas comple"as (compuestas). #osotros combinamos proposiciones con
conectivas, entre las cuales estan $y%, $o% y $implica%
&i p y q son dos proposiciones luego $p y q% tambien es un proposicion, llamada la conjuncion
de p y q, y denotada por p q, y es verdadera cuando p y q son verdaderas de otra manera es
falso.
'tra conectiva comun es $o% algunas veces llamada disyuncion. La disyuncion de p y q, es
denotada por p q, es verdadera cuando al menos un valor de p, q es verdad. (s llamada o
inclusiva y corresponde al y)o algunas veces encontrado en documentos legales.
*ada una proposicion p nosotros podemos formar una nueva proposicion con el opuesto valor
de verdad, llamado la negacion de p, el cuel es denotado por +p, alguna veces leida como $no
p%.
odemos negar un proposicion anteponiendo $es falso que% o $no es el caso que%.
+p q significara (+p) q. ,uando !ablamos $no es el caso que p o q% quiere decir +(p q),
mientras $no es el caso que p, o q, quiere decir +p q.
&upongamos que dos proposiciones tienen el mismo valor de verdad. Luego p y q se dice que
son logicamente equivalentes, lo cual nosotros lo podemos denotar por p-q.
,uando dos proposiciones son logicamente equivalentes ellas tienen la misma forma y pueden
ser sustituidas una por la otra en cualquier otra proposicion o teorema.
Usando la idea de la equivalencia logica nosotros podemos afirmar la relacion entre la
negacion, disyuncion y con"uncion, algunas veces llamada Ley DeMorgan. &ean p y q cualquier
proposicion. Luego +(p q) . +p +q, +(p q) . +p +q.
Una de las mas importantes proposiciones en matematicas es la implicacion algunas veces
llamada condicional, La forma general de una implicacion es $si p luego q% donde p, q son
proposiciones/ denotaremos esto por p0q.
(n la condicional p es llamada premisa (o hipotesis o antecedente) y q es llamada conclusion (o
consecuencia o consecuente).
*ada una implicacion p0q1 q0p es llamdo el opueto (inverso)/ +q0+p es llamado su
contrapositvo, +p0+q es llamado su inverso.
&i p, q son dos proposiciones luego la proposicion $p si y unicamente si q% (algunas veces
abreviado $p iff q%), denotado por p-q, es llamado bicondicional (no confundir con la
equivalencia logica)
#osotros decimos que p-q es verdad cuando ambos tienen el mismo valor de verdad y falso
cuando tienen diferentes valores de verdad.
p-q es logicamente equivalente a (p0q) (q0p)
T2UT'L'342&
2quellas proposiciones cuyas tablas de verdad contienen unicamente T5s son llamadas
tautologias.
La negacion de una tautologia, es decir, una proposicion cuyo valor siempre es falso, es llamada
una contradiccion.
*os proposiciones p, q son logicamente equivalente si y solo si p-q es una tautologia. p-q y
p . q son proposiciones en dos diferentes niveles.
*ecimos que p0q es una implicacion logica si p0q es una tautologia, p implica logicamente
a q es denotada por p. q
263U7(#T'& 8 (L 64#,44' *( *(7'&T62,4'#
or un argumento (o teorema) nos referimos a una proposicion de la forma
podemos llamar las p5s premisas (o !ipotesis) y a q la conclusion.
Un argumento es valido (o el teorema es verdad) si es una tautologia. (n este caso decimos que
q (la conclusion) es una consecuencia logica de las premisas.
Un argumento es una implicacion logica.
&i todas las premisas son verdad y el argumento es valido luego la conclusion debe ser verdad.
(#ota1 &i un argumento es valido, la conclusion puede ser verdadera o falsa )
,U2#T4F4,2*'6(&

You might also like