Trabajo Asincronico 3

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 7

UNIVERSIDAD DE GUAYAQUIL Cdla.

Universitaria Salvador Allende


www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

FACULTAD DE CIENCIAS ADMINISTRATIVAS

ASIGNATURA: MATEMÁTICAS FECHA: 23 DICIEMBRE 2021


TEMA: PROPOSICIONES SIMPLES Y COMPUESTAS, FORMAS PROPOSICIONALES
DOCENTE: ING. ERDING FLORES UNIDAD: 1 PARALELO: FCA-N-05-VE-3
NOMBRE (S) ESTUDIANTE(S): MURILLO MIRANDA LUIS GIANMARCO

Trabajo Asincrónico 2

• Realizar las siguientes tablas de verdad e indicar si es tautología, contradicción

o contingencia. (elegir una de las 5 proposiciones y resolverla mediante el uso

algebra proposicional)
UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

A B

p q r s ¬s (p ꓥ q) (¬ s→ r) [A → r] AꓥB

0 0 0 0 1 0 0 1 0

0 0 0 1 0 0 1 1 1

0 0 1 0 1 0 1 1 1

0 0 1 1 0 0 1 1 1

0 1 0 0 1 0 0 1 0

0 1 0 1 0 0 1 1 1

0 1 1 0 1 0 1 1 1

0 1 1 1 0 0 1 1 1

1 0 0 0 1 0 0 1 0

1 0 0 1 0 0 1 1 1

1 0 1 0 1 0 1 1 1

1 0 1 1 0 0 1 1 1

1 1 0 0 1 1 0 0 0

1 1 0 1 0 1 1 0 0

1 1 1 0 1 1 1 1 1

1 1 1 1 0 1 1 1 1

R= La forma proposicional es una contingencia.


UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

A B

p q r s ¬p ¬q ¬r A B A→r AꓥB

0 0 0 0 1 1 1 1 0 0 0

0 0 0 1 1 1 1 1 1 0 0

0 0 1 0 1 1 0 1 1 1 1

0 0 1 1 1 1 0 1 1 1 1

0 1 0 0 1 0 1 0 0 1 0

0 1 0 1 1 0 1 0 1 1 1

0 1 1 0 1 0 0 0 1 1 1

0 1 1 1 1 0 0 0 1 1 1

1 0 0 0 0 1 1 0 0 1 0

1 0 0 1 0 1 1 0 1 1 1

1 0 1 0 0 1 0 0 1 1 1

1 0 1 1 0 1 0 0 1 1 1

1 1 0 0 0 0 1 0 0 1 0

1 1 0 1 0 0 1 0 1 1 1

1 1 1 0 0 0 0 0 1 1 1

1 1 1 1 0 0 0 0 1 1 1

R= La forma proposicional es una contingencia.


UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

A B

p q r s ¬s A B A→r AꓥB

0 0 0 0 1 0 1 1 1

0 0 0 1 0 0 1 1 1

0 0 1 0 1 0 1 1 1

0 0 1 1 0 0 0 1 0

0 1 0 0 1 0 1 1 1

0 1 0 1 0 0 1 1 1

0 1 1 0 1 0 1 1 1

0 1 1 1 0 0 0 1 0

1 0 0 0 1 0 1 1 1

1 0 0 1 0 0 1 1 1

1 0 1 0 1 0 1 1 1

1 0 1 1 0 0 0 1 0

1 1 0 0 1 1 1 0 0

1 1 0 1 0 1 1 0 0

1 1 1 0 1 1 1 1 1

1 1 1 1 0 1 0 1 0

R= La forma proposicional es una contingencia.


UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

A B

p q r s A B A→r AꓥB

0 0 0 0 0 0 1 0

0 0 0 1 0 0 1 0

0 0 1 0 0 1 1 1

0 0 1 1 0 1 1 1

0 1 0 0 0 0 1 0

0 1 0 1 0 0 1 0

0 1 1 0 0 1 1 1

0 1 1 1 0 1 1 1

1 0 0 0 0 0 1 0

1 0 0 1 0 0 1 0

1 0 1 0 0 1 1 1

1 0 1 1 0 1 1 1

1 1 0 0 1 1 0 0

1 1 0 1 1 1 0 0

1 1 1 0 1 1 1 1

1 1 1 1 1 1 0 0

R= La forma proposicional es una contingencia.


UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

B C D

A
p q r s ¬r B C D BꓥC AꓥD

0 0 0 0 1 1 1 1 1 1

0 0 0 1 1 1 1 1 1 1

0 0 1 0 0 1 1 0 1 0

0 0 1 1 0 1 1 1 1 1

0 1 0 0 1 1 0 1 0 0

0 1 0 1 1 1 0 1 0 0

0 1 1 0 0 1 1 0 1 0

0 1 1 1 0 1 1 1 1 1

1 0 0 0 1 0 1 1 0 0

1 0 0 1 1 0 1 1 0 0

1 0 1 0 0 1 1 0 1 0

1 0 1 1 0 1 1 1 1 1

1 1 0 0 1 0 0 1 0 0

1 1 0 1 1 0 0 1 0 0

1 1 1 0 0 1 1 0 1 0

1 1 1 1 0 1 1 1 1 1

R= La forma proposicional es una contingencia.


UNIVERSIDAD DE GUAYAQUIL Cdla. Universitaria Salvador Allende
www.ug.edu.ec
VICERRECTORADO ACADÉMICO www.admision.ug.edu.ec
Guayaquil - Ecuador
COORDINACIÓN ADMISIÓN Y NIVELACIÓN

• Indicar si es una equivalencia lógica.

C D

A B
p q r A B A→r p→B C↔D

0 0 0 0 1 1 1 1

0 0 1 0 1 1 1 1

0 1 0 0 0 1 1 1

0 1 1 0 1 1 1 1

1 0 0 0 1 1 1 1

1 0 1 0 1 1 1 1

1 1 0 1 0 0 0 1

1 1 1 1 1 1 1 1

R= La forma proposicional es una tautología por lo tanto cumple con la

equivalencia lógica.

También podría gustarte