Documente Academic
Documente Profesional
Documente Cultură
Cordial saludo, con todo respeto y de manera atenta me permito manifestar que para la etapa colaborativa seleccionare la propiedad
de Leyes Asociativas. Gracias por su atencin, quedo a la espera de sus comentarios
J. Alex Ortega
PROPOSICIN LGICA:
Se entiende por proposicin lgica, a aquel enunciado que puede contener un valor de verdad; el mismo puede ser falso o verdadero,
pero no ambos de forma simultnea; estas suelen representarse mediante lo que se conoce como variable proposional, la cual se
basa en una letra que se encargara de representar a dicha proposicin al que fue asignada. Se clasifican en:
Proposiciones simples: Aquellas solo contienen un verbo en la misma frase, y en lascuales no existe un conector que les enlace con
otra oracin.
Proposiciones compuestas: Son aquellas en las cuales se evidencia ms de un verbo, constituidas por dos o ms proposiciones
simples; existen dos acciones a ejecutar o dos representantes, suelen estar acompaadas de un conector el cual se encarga de
enlazar una oracin con otra en ocasiones de forma implcita.
Ejemplos:
1- Proposicinlgica:
a. Hoy ir a la escuela.
b. Hoy ir a la escuela y aprender mucho.
c. Esta tarde llover.
La proposicin A y C corresponden a una proposicin simple, mientras la proposicin Bcorresponde a una proposicin compuesta.
pantallazo de la comprobacin de la tabla de verdad con el simulador TRUTH
RTA:
Determinando variables:
p. Angelica tiene calidad de vida.
q. Anglica posee una buena salud.
r. Angelica posee un excelente empleo.
Traduccinlgica: { [ p ^( q ^ r) ]>p }
1. p ^ q
2. p ^r
3. (q ^ r )>p
{ [p ^( q ^ r) ]>p }
Combinaciones de valores de verdad:
2n: 23=8
La cantidad de combinaciones es 8
Tabla de verdad:
p q r p^q p^r q^r (p ^ q)^(p ^ r) [(p ^ q)^(p ^ r)]^(q ^ r) {[(p ^ q)^(p ^ r)]^(q ^ r)}>p
V V V V V V V V V
V V F V F F F F V
V F V F V F F F V
V F F F F F F F V
F V V F F V F F V
F V F F F F F F V
F F V F F F F F V
F F F F F F F F V
MATEMATICAS (medio)
INGENIERIA (mayor)
CURSOS DE
MATEMATICAS
X
INGENIERIA
CURSOS DE
INGENIERIA MATEMATICAS
CURSOS
OBLIGATORIOS DE
INGENIERIA
Al utilizar los diagramas de Venn para realizar la representacin de la informacin, podemos demarcar una zona con una "X", es
esta la que nos indica que algunos cursos de tres crditos no son cursos del rea de matemticas; Por ello, la conclusin del
silogismo es vlida.
CURSOS DE
INGENIERIA MATETICAS
CURSOS
OBLIGATORIOS DE
INGENIERIA
INGENIERIA
LA FASE GRUPAL EST COMPRENDIDA EN DOS ETAPAS:
Primera etapa:
Leyes Asociativas.
proposiciones lgicas
Segunda etapa:
s: Se desplaza caminando
t: Ahorrar dinero
2n: 25=32
1. p ^ q
2. r v s
3. p > t
V V V V V V V V V V V
V V V V F V V F V F V
V V V F V V F V F F V
V V V F F V F F F F V
V V F V V V F V F F V
V V F V V V F V F F V
V V F F F V F F F F V
V V F F V V F V F F V
V F V V F F V F F F V
V F V V V F V V F F V
V F V F F F F F F F V
V F V F V F F V F F V
V F F V F F F F F F V
V F F V V F F V F F V
V F F F F F F F F F V
V F F F V F F V F F V
F V V V F F V V F F V
F V V V V F V V F F V
F V V F F F F V F F V
F V V F V F F V F F V
F V F V F F F V F F V
F V F V V F F V F F V
F V F F F F F V F F V
F V F F V F F V F F V
F F V V F F V V F F V
F F V V V F V V F F V
F F V F F F F V F F V
F F V F V F F V F F V
F F F V F F F V F F V
F F F V V F F V F F V
F F F F F F F V F F V
F F F F V F F V F F V
Buenos tardes tutor,
Cordial saludo, me permito agradecer sus orientaciones y de igual forma presento la correccin en lo relacionado con el silogismo, agradezco nuevamente su
verificacin y correccin a este nuevo aporte. xitos en sus labores, quedo a la espera de sus comentarios.
J. Alex Ortega
Creativo: vigila el tiempo, aporta ideas y hace preguntas para que los otros tambin aporten ideas.
Evaluador: es el crtico, revisa que los aportes que se van haciendo correspondan con lo solicitado en la Gua de
Actividades y est de acuerdo con lo estipulado en la Rubrica Analtica de Evaluacin de la fase de planificacin.
Simulador
variables: a,b,c,...,z
constants: T (or 1) or F (or 0)
unaryoperator: ~ 1 not (negation)
binaryoperators: & 2 and (conjunction)
| | 2 NAND (not and)
+ 3 or (disjunction)
- 3 NOR (notor)
# 3 XOR (exclusive or)
> 4 if (implication)
= 5 if and only if (biconditional)
(), [], or {} Puede usarse para agrupar expresiones para cambiar el
grouping: orden de evaluacin
La primera columna sombreada para los operadores da la entrada del teclado para el operador.
La tercera columna para los operadores da la prioridad para la operacin. Dentro de un grupo prioritario, la evaluacin es de izquierda a
derecha.
CORECCIONES:
Estimado Estudiante.
La expresin final est incompleta, omite algunas proposiciones, revise bien.
1. p^q
2. p^r
3. (q ^ r ) > p
{ [ p ^( q ^ r) ] > p }