UNIVERSIDAD DE GUAYAQUIL

FACULTAD DE CIENCIAS MATEMTICA Y FSICA

PROYECTO DE AULA ( PROTOBOARD)

AUTORES:
KEVIN LUNA GONZLEZ
CARLOS BOLAOS CAMEJO
ERICK CHIQUITO SNCHEZ
BRYAN GARZN SILVA

PROFESOR:
ING. LUIS MARIO MOLINA

GUAYAQUIL ECUADOR
2015 2016

PROY
ECTO
DE
AULA

RAZONAMIENTO LOGICO

Si un perro pitbull se enfada, te quedas paralizado del susto; y si te

quedas paralizado del susto, entonces apelaras a su bondad y as no
ser mordido. Por lo tanto, si un perro pitbull se enfada, entonces
tendrs que apelar a su bondad o sers mordido.

PROPOSICIONES ATOMICAS

P= Un perro pitbull se enfada.

Q= Te quedas paralizado del susto.
R= Apelar a su bondad.
S= Ser mordido.
~ S= No ser mordido.

LENGUAJE FORMAL

{(p q) ^ [q ( r ^ ~S )]} [ p ( r v s)]

 TABLA DE VERDAD

TAUTOLOGA