UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE CIENCIAS ECONMICAS

AREA COMN
PLAN FIN DE SEMANA
CURSO: MATEMTICA I
DOCENTE: LIC. CARLOS GUERRA
SALN 302; EDIFICIO S-3

ELEMENTOS DE LGICA SIMBLICA

Erick Alberto Hernndez Snchez

201011618
07 de Agosto 2010

LGICA SIMBLICA
Tambin llamada Lgica Matemtica, y es la disciplina que trata de mtodos de
razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para
determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en
matemticas para demostrar teoremas; en ciencias de la computacin para verificar si
son o no correctos los programas; en las ciencias fsicas y naturales, para sacar
conclusiones de experimentos; en la filosofa para determinar si un razonamiento es
vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo, la
lgica permite saber el significado correcto, y en las ciencias sociales y en la vida
cotidiana, para resolver una multitud de problemas, se usa en forma constante el
razonamiento lgico para realizar cualquier actividad.
La lgica es muy importante; ya que permite resolver incluso problemas a los que
nunca se han enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados.
La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica.
PROPOSICIONES SIMPLES
Son aquellas que no contienen, implcita o explcitamente, a otra proposicin como
componente. Para que una proposicin sea simple en sentido escrito, se necesita que
el sujeto se refiera a un individuo nico y que en el predicado se enuncie una sola
propiedad respecto de ese individuo.
Ejemplo:
La caja de madera. (caja=madera)
Est lloviendo......... (tiempo=lloviendo)
PROPOSICIONES COMPUESTAS
Son combinaciones de proposiciones simples o aquella que puede ser descompuesta
en proposiciones ms sencillas. Requieren del uso de conectivos para relacionar las
proposiciones simples.
Ejemplo:
La caja es de madera y est lloviendo
(caja=madera) AND (tiempo=lloviendo)
CONECTIVOS LGICOS
CONJUNCIN
La conjuncin es la proposicin compuesta que resulta de conectar dos proposiciones
p y q mediante la conjuntiva (^). Esta proposicin se denota por p^q y se lee pyq.
Ahora, el valor de verdad, para la conjuncin de dos proposiciones cualesquiera, p y
q ser de la siguiente manera:

p^q debe ser verdadera, si, y solamente si, tanto p, como q, son verdaderas. De
manera que, si al menos, una de las proposiciones simples es falsa, entonces, el valor
de verdad para p^q, es falso.
Ejemplo: "Com y beb" p^q
"Cantaban, bailaban, jugaban y rean" p q r^s
"Lleg, vio y venci" p q^r
p

p^q

DISYUNCIN INCLUSIVA
La disyuncin inclusiva es la proposicin compuesta que resulta de conectar dos
proposiciones pyq mediante la disyuntiva inclusiva (v). Esta proposicin se denota por
pvq y se lee poq.
La caracterstica fundamental de la disyuncin inclusiva es que su valor de verdad es
falso y solo en caso en que las dos proposiciones simples que la forman tengan un
valor de verdad falso. En todos los casos la disyuncin inclusiva tiene valor de verdad
verdadero.
Ejemplo: "Como o bebo" p v q
"O se quedan o se marchan" p v q
" La sopa se servir fra o caliente" p v q
"O estudia y trabaja o sers un parado" p q v r
p

pvq

DISYUNCIN EXCLUSIVA
La disyuncin exclusiva es la proposicin compuesta que resulta de conectar dos
proposiciones pyq mediante el disyuntor exclusivo (V). Esta proposicin se denota por
pVq y se lee opoq.
La caracterstica principal de la disyuncin exclusiva es que su valor de verdad es
verdadero solo cuando las proposiciones que la componen tienen valor de verdad
contrario. En los otros casos la disyuncin exclusiva tiene valor de vedad falso.
Ejemplo:El vaso es bonito y La leche est adulterada
O el vaso esta bonito o la leche est adulterada pVq

IMPLICACIN O CONDICIONAL
La condicional o Implicacin es la proposicin compuesta que resulta de conectar dos
proposiciones pyq mediante la condicin (). Esta proposicin se denota por pq y se
lee si p entonces q.
Existen diferentes implicaciones:
Inversa: Se dice que de pq su implicacin inversa es ~p~q.
Recproca: Se dice que de pq su implicacin recproca es qp.
Contra recproca: Se dice que de pq su implicacin inversa es ~q~p.
La caracterstica fundamental de la condicional es que su valor de verdad es falso solo
cuando el consecuente es falso y el antecedente es verdadero. En los dems casos la
condicional es verdadera.
Ejemplo:
"Si llueve entonces me mojo" p q
p

pq

BICONDICIONAL O EQUIVALENCIA
La bicondicional es la proposicin compuesta que resulta de conectar dos proposiciones
pyq mediante la bicondicional (
). Esta proposicin resultante se denota por p
qy
se lee p si y solo si q.
Ejemplo: "El agua equivale a H2O" p

"La democracia slo existe si y slo si hay elecciones" p

p

Tautologa: ( o "identidades") en donde el resultado final debe ser que todos los
valores sean verdaderos.
Contradicciones: (o "expresiones inconsistentes"): en ningn caso son verdaderas, o
sea, son todas falsas.
Indeterminaciones: (o "contingencia"): cuando estn mezcladas, o sea, cuando hay
falsas y verdaderas.