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
1.use truth tables to verify the following equivalences. ( utilizar tablas de verdad para verificar las siguientes equivalencias)
- A) P
T 
P
- B)P F F
- C)P
P P
- D)P T T
- E)P F P
- F)P P P
este tipo de analisis puede realizarce en tablas lo cual seria equivalente a darle valores a cada una de las asignadas letras, en este caso para P
DESARROLLO
1)
*A) P T P
DESARROLLO TEORICO:
COMO VEMOS, EN EL PRIMER EJERCICIO ENCONTRAMOS DOS CONECTORES LOGICOS, SI NOS REGIMOS POR LAS NORMAS DE PRIORIDAD VEMOS Q ES NECESARIO RESOLVER LA PARTE QUE CONTIENE AL PARA DESPUES EVALUAR LA PROPOSICION CON EL CONECTOR LOGICO
PT P
*CUANDO P ES VERDADERO (VERDADERO=TRUE)
P T P
V T V
V T = VERDADERO , V
V V
VERDADERO
* CUANDO P ES FALSO (FALSO=FALSE)
P T P
F T F
F T = FALSO , F
VERDADERO FALSO
FALSO
POR TANTO CONCLUIMOS QUE ES NO UNA TAUTOLOGIA SI UTILIZAMOS V O F
*B) P F F
*CUANDO P ES FALSO
- P F F
- F F F
F F = FALSO , F
- FALSO F
VERDADERO
*CUANDO P ES VERDADERO
- P F F
- V F F
V F = VERDADERO, F
V F
FALSO
- C)P P P
*CUANDO P ES VERDADERO
- P P P
- V V V
V V= VERDADERO , V
V V
VERDADERO
*CUANDO P ES FALSO
- P P P
- F F F
F F = FALSO, F
F F
FALSO
- D)P F P
*CUANDO P ES VERDADERO
- P F P
- V F V
V F= VERDADERO , V
V V
VERDADERO
*CUANDO P ES FALSO
- P F P
- F F F
F F = FALSO, F
- F F
VERDADERO
POR LO TANTO D ES UNA TAUTOLOGIA
- E)P T T
*CUANDO P ES VERDADERO
- P T T
- V T T
CUANDO UNA PROPISCION MUESTRA Q TODOS SUS VALORES DE VERDAD SON VERDADEROS NO IMPORTA CUAL SEA SUS CONECTORES LOGICOS SE CONCLUYE QUE ES UNA PROPOSICION VERDADERA.
*CUANDO P ES FALSO
- P T T
- F T T
F T= VERDADERO, T
V T
VERDADERO
D ES UNA TAUTOLOGIA CUALQUERA QUE SEA EL VALOR DE VERDAD DE P
- F)P F P
*CUANDO P ES VERDADERO
- P F P
- V F V
V F = VERADERO , V
V V
VERDADERO
*CUANDO P ES FALSO
- P F P
- F F F
F F= FALSO, F
F F
VERDADERO
F ES UNA TAUTOLOGIA CUALQUERA QUE SEA EL VALOR DE VERDAD DE P
