Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
TUTOR
MILLER EDUARDO JIMNEZ
INTRODUCCIN
Una tabla de verdad es una tabla que muestra el valor de verdad de
una proposicin compuesta, para cada combinacin de verdad que se pueda
asignar. En el siguiente trabajo, se dar a conocer la forma apropiada de
asignacin en tablas de verdad. Estas tablas pueden construirse haciendo una
interpretacin de los signos lgicos, como: no, o, y, sientonces, s
y slo si, respectivamente. La interpretacin corresponde al sentido que estas
operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deduccin lgico
matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de
decisin para chequear si una proposicin es o no un teorema.
OBJETIVOS
General
Comprender la forma de asignacin y transformacin de tablas de verdad.
Especficos
Aprender cual columna es la llamada de referencia.
Entender en qu posicin de la tabla van los valores de verdad.
Identificar cuando se asigna la mitad de los valores verdaderos y la otra
mitad falsos para la primera variable.
Identificar cuando un razonamiento es deductivo o inductivo.
u=50 1
F=20 2
FN=12 2
(Fun) =10
a) N=20 Docentes
b) N-F=8 Docentes
12
20
10
U=15
A
50
3x
30
X=4
Y=16
Y/2
15
Siendo X los que consumen los tres productos, entonces los que consumen solo
A y B = 3(ABC) =3X.
Siendo Y los que consumen A y C, entonces los que consumen solo
B y C =(A y C)/2 = (Y/2)
A = 50
B = 30
(ABC) = x
AB = 3x
AC = y
BC = (y/2)
A es:
4x + y + 50 = 82
4x + y = 82 - 50
4x + y = 32 (1)
B es:
4x + (y/2) + 30 = 54
4x + (y/2) = 54 - 30
4x + (y/2) = 24 (2)
Resolviendo el sistema de ecuaciones (1) y (2) se obtienen X= 4, Y= 16.
U: 200
L: 68
I: 138
20
W
13
X
15
Z
Q=2
A: 160
q
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
r
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
s ( ( ( ( p ^ q ) r ) s ) ( ( p ^ q ) r ) ( p ^ q ) ) s
v
v v v v v v v v
v v v v v v
v v v
v v
f
v v v v v f f
v
v v v v v v
v v v
f f
v
v v v f f
v v f
v v v f f
v
v v v
v v
f
v v v f f
v f
f
v v v f f
v
v v v
f f
v
v f f
v v v v v
v f f
v v f
v f f
v v
f
v f f
v v f f
v
v f f
v v f
v f f
v f
v
v f f
f f
v v f
v f f
f f
v
v f f
v v
f
v f f
f f
v f
f
v f f
f f
v
v f f
f f
v
f f v v v v v v
f f v v v f
f f v
v v
f
f f v v v f f
v
f f v v v f
f f v
v f
v
f f v v f
v v f
f f v f f
v
f f v
v v
f
f f v v f
f f
v
f f v f f
f
f f v
v f
v
f f f
v v v v v
f f f
v v f
f f f
v v
f
f f f
v v f f
v
f f f
v v f
f f f
v f
v
f f f
v f
v v v
f f f
f f
f
f f f
v v
f
f f f
v f
f f
v
f f f
f f
f
f f f
v f
PQ
Q
Q
V
F
V
F
Q
V
F
F
V
Q
V
F
V
F
V
F
V
V
P
V
V
F
F
Q
V
F
V
F
Q
V
F
F
V
Q
V
F
V
F
^
V
F
F
V
s ~
p
~
r
~
s
~
q
p
q
r
s
(pq) ~pv
~r
(rs)
~s~
q
~pv~r)
~s~q)
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
F
F
F
F
V
F
V
V
V
F
V
V
F
F
F
F
F
V
F
V
F
F
F
F
F
V
F
V
V
V
F
F
V
V
F
V
F
F
F
F
F
V
F
V
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
[(pq)
(rs)]
~pv~r)
~s~q)]
V
V
F
F
V
V
V
V
F
V
F
F
F
V
F
V
q ( p v q )
v
v v v
f
v f f
v
f v v
f
f v f
Argumentos:
f= Premisa mayor.
r = Premisa menor.
p= Conclusin
Premisas verdaderas
Conclusin verdadera
fr
pr
fp
P Q R S T ~P (~P v Q) (R S)
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
(R T)
[(~P v Q)
(R S)]
{[(~P v Q) (R
S)] (R
T)}
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
V
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
F
F
F
F
F
F
F
V
F
F
F
V
V
V
V
V
F
F
F
F
F
F
F
V
F
F
F
F
F
F
F
{[(~P v Q) (R
S)] (R T)} P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
CONCLUSIONES
Comprender la forma de asignacin, de ubicacin, de creacin de tablas y
de solucin con premisas.
Conocer formas de respuesta con diferentes leyes.
Comprensin de lecturas y problemas para una buena solucin y estructura
de la respectiva tabla de verdad.
Estructuracin de diagramas de venn para hallar soluciones.
Saber construir con base de un problema, la solucin adecuada. Que
pueden ser tablas de verdad o diagramas de ven.
REFERENCIAS BIBLIOGRFICAS
http://huitoto.udea.edu.co/SistemasDiscretos/contenido/tablas_verdad.html
http://www.zweigmedia.com/MundoReal/logic/logic6.html
http://www.wikillerato.org/L%C3%B3gica_proposicional.html
http://www.monografias.com/trabajos-pdf5/la-logica-proposicional/la-logicaproposicional.shtml
http://recursostic.educacion.es/descartes/web/materiales_didacticos/teoria_
conjuntos_pdas/conjuntos_3.htm
http://es.wikipedia.org/wiki/Diagrama_de_Venn