Usuario:Hernandez.o/ejercicio 13
Pensamiento algoritmico
El siguiente trabajo es un proyecto realizado por los estudiantes de la Universidad Javeriana de Bogota Colombia los cuales se encuentran cursando el primer semestre de Ingenieria Electronica, este proyecto es llevado acabo en la materiana Pensamiento Algoritmico y dirigido por el profesor Offray Luna. estos archivos wiki son elaborados apartir de un libro guia titulado Matematica Discreta Y logica por el señor winfried karl grassman y jean-paul tremblay.
El siguiente ejercicio fue extraido del libro discrete mathematicas and its applications
EXERCISES 1.2
pagina 19
3. VERIFY THE COMMUTATIVE LAWS ON THIS PROPOSITIONS:
(VERIFICAR LA LEY DE CNMUTACION EN LAS SIGUIENTES PROPOSICIONES)
*1) P V Q Q V P
*2) P Q Q P
PARA DESARROLLAR ESTE EJERCICIO ES NECESARIO DARLE VALORES DE VERDAD A CADA UNA DE LAS PARTE DE LA PROPOSICION Y VER EL COMPORTAMIENTO QUE SUFREN SEGUN LOS CONECTORES LOGICOS, PARA ASI VERIFICA QUE SON UNA TAUTOLOGIA.
[editar]DESARROLLO:
*1) P V Q Q V P
A)
CUANDO P ES VERDADERO CUANDO Q ES VERDADERO
P V Q Q V P
V V V V V V
VERDADERO VERDADERO
VERDADERO
B)
CUANDO P ES VERDADERO CUANDO Q ES FALSO
P V Q Q V P
V V F F V V
VERDADERO VERDADERO
VERDADERO
C)
CUANDO P ES FALSO CUANDO Q ES VERDADERO
P V Q Q V P
F V V V V F
VERDADERO VERDADERO
VERDADERO
D)
CUANDO P ES FALSO CUANDO Q ES FALSO
P V Q Q V P
F V F F V F
FALSO FALSO
VERDADERO
== SE COMPRUEBA QUE ES UNA TAUTOLOGIA ==
*2) P Q Q P
A)
CUANDO P ES VERDADERO CUANDO Q ES VERDADERO
P Q Q P
V V V V
VERDADERO VERDADERO
VERDADERO
B)
CUANDO P ES VERDADERO CUANDO Q ES FALSO
P Q Q P
P F F V
FALSO FALSO
VERDADERO
C)
CUANDO P ES FALSO CUANDO Q ES VERDADERO
P Q Q P
F V V F
FALSO FALSO
VERDADERO
D)
CUANDO P ES FALSO CUANDO Q ES FALSO
P Q Q P
F F F F
FALSO FALSO
VERDADERO
== SE COMPRUEBA QUE ES UNA TAUTOLOGIA ==