UNIDAD 3

Simplificacin y Ley de la conjuncin.

Darwin Adrian Chona Paez

Grupo 200611_56

Tutor
PAOLA ANDREA MATEUS

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento lgico y matemtico
Bogot D.C
Junio 18 del 2016

Simplificacin y Ley de la conjuncin

SIMPLIFICACIN DISYUNTIVA (SD)

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo
consecuente, y sus antecedentes se corresponden con los dos miembros de una disyuncin,
podemos concluir con el consecuente de ambas implicaciones.

pVq

Helado de fresa o helado de vainilla

pr

Si tomas helado de fresa, entonces repites

qr

Si tomas helado de vainilla, entonces repites

Luego, repites

Ejemplo
Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono. Esta planta no
crece.
p : esta planta crece.
q: necesita ms agua.
r: necesita mejor abono
pqVr
P
______________
qVr
En palabras podemos concluir que esta planta necesita ms agua o ms abono

Ley de la conjuncin
Una conjuncin lgica (comnmente simbolizada como Y ) es, en lgica y
Matemticas, un operador lgico que resulta en verdadero si los dos operadores
Son verdaderos. En lgica y matemticas
Una conjuncin es un enunciado con dos o ms elementos simultneo. Una
Lmpara elctrica se enciende si hay corriente elctrica, el interruptor est
Conectado, el fusible est bien y la lmpara no est fundida, en cualquier otro caso
La lmpara no se encender.
Para dos entradas A y B, la tabla de verdad de la funcin conjuncin es:
A
V
V
F
F

B
V
F
V
F

AB
V
F
F
F
Smbolo

El smbolo matemtico para la conjuncin lgica vara en la literatura. Adems

Deutilizar "Y", el smbolo en forma de es comnmente utilizado para la conjuncin.
Por ejemplo:
AB
Se lee como A y B". Esta Conjuncin es cierta si ambas A y B son ciertas a la
Vez. En todos los dems casos es falsa. La nocin equivalente en teora de
Conjuntos es la Interseccin de conjuntos. Y el smbolo representativo es "Y y
Esta ley, no es vlida para la implicacin, pero si para conjuncin y para la
Disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo
Que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin
Es presentar una eleccin entre dos cosas, sin importar en qu orden se presenta
Esta eleccin.

Ejemplo:
p ^ q q ^ p "(p y q) equivale a (q y p)"
p v q q ^ p "(p q) equivale a (q p)"

REFERENCIAS BIBLIOGRAFICAS

https://es.wikipedia.org/wiki/Simplificaci%C3%B3n
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-qmodus.html
http://www.colegiosansaturio.com/deptomatesweb/SANSAMATES/Trabajos/juegosestr
ategia_sara2rodriguez2cc/prop.htm