Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 (q ^ r)>p
V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V F F V V
F V F F F F V
F F V F F F V
F F F F F F V
MATEMATICAS (medio)
INGENIERIA (mayor)
CURSOS DE
MATEMATICAS
INGENIERIA
X
CURSOS DE
INGENIERIA MATEMATICAS
CURSOS
OBLIGATORIOS
DE INGENIERIA
CURSOS
OBLIGATORIOS
DE INGENIERIA
INGENIERIA
La Fase Grupal est comprendida en dos etapas:
Primera etapa:
Leyes Asociativas.
Cordial saludo, con todo respeto y de manera atenta me permito informar los roles escogidos para
la presente actividad. Gracias por su atencin, 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.
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 orden de
grouping: 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