Documente Academic
Documente Profesional
Documente Cultură
Juan:
Patricia:
Ana:
Diego:
Si nos gusta que existan personas que hagan ropa, entonces nos gusta
vivir en comunidad.
Freddy:
Mara:
Jorge:
Tania:
1/10
No.
Proposicin
La
proposici
n es
Justificacin
VoF
1
El enunciado de Juan es un
enunciado cientfico
El enunciado de Patricia es un
enunciado cientfico
( P Q ) ( Q P )
Al realizar la tabla de verdad de esta ltima
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
PTU: www.unadvirtual.org / Docente: Freddy F. Valderrama
2/10
(C L ) ( L C )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.
3/10
Es decir: C -> M
De acuerdo con Freddy, Si nos
8 gusta vivir en comunidad, nos
gusta que existan mdicos.
( M C ) (C M )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.
4/10
Es decir: C -> L
( C L ) ( C L )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.
Podemos definir:
P: Hacemos algo por la paz.
Q: Queremos vivir en comunidad.
Entonces Ana dice: P v Q
5/10
( P Q ) ( P Q )
Al realizar la tabla de verdad de esta ltima
expresin, se encuentra que es una
contingencia, por lo tanto no se puede
deducir lo propuesto en la columna 1.
6/10
Premisas:
1.
2.
3.
4.
5.
P
P Q
RQ
S Q
T Q
(Patricia)
(Ana)
(Diego)
(Freddy)
(Jorge)
Conclusin:
T P
Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad forma 1:
La expresin a la cual se le debe hacer la tabla de verdad es la siguiente, en ella se
presentan la conjuncin de las premisas, que lleva la conclusin:
P ( P Q ) ( R Q ) ( S Q ) (T Q ) (T P )
7/10
P Q R S T
P Q
1
RQ
2
S Q
3
T Q
4
P 1 2 3 4
Prem
T P
Con
Prem Con
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
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
F
F
F
F
V
v
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
f
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
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
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
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
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
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
8/10
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
P Q
1
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
RQ
2
V
V
V
V
V
V
V
V
F
F
F
F
V
v
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
S Q
3
V
V
V
V
V
V
V
V
F
F
V
V
F
f
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
T Q
4
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
T P
Con
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
Resaltado en amarillo se observa que siempre que las premisas son todas verdaderas,
tambin lo es la conclusin. Por lo tanto, el razonamiento es vlido.
9/10
10/10