Académique Documents
Professionnel Documents
Culture Documents
CARLOS GUTIERREZ
1- (pq r) (p ~r ~q)
2- ~ ( p v q ) ~ p ^ ~ q
3- (p v q) v (~p ~q)
4- (p q) (q r) (r s) (ps)
5- (p q ~q) ~p
6- (p ~q) (q ~r)
7- p (p q r)
8- ~(~p ~q)`
9- ~(p q) (~p ~q)
10-(p ~q) (q ~r)
11-((p q) ( r s) (p r )) (q s)
12-((p q) q ) ( p q )
13-((p -> q) ( p -> r)) ( q -> r) -> q
Hallar la siguiente conclusin: R, a partir de las premisas:
P1: P
P2: Q
P3: PQ (S P R)
Traducir al lenguaje formal y demostrar por el mtodo de validez formal los siguientes
razonamientos:
P1: Todos los que no responda el quiz, tendrn que presentar parcial
P2: Ana no se presenta al quiz. Por lo tanto:
C: Ana presenta parcial
P1: Si el reloj est adelantado, entonces David lleg antes de las diez y vio partir el carro de
Jorge.
P2: Si Jorge dice la verdad, entonces David no vio partir el carro de Jorge
P3: O Jorge dice la verdad, o estaba en el edificio en el momento del crimen.
P4: El reloj est adelantado. Por lo tanto,
C: Jorge estaba en el edificio en el momento del crimen.
P1: Si Rossi gan la carrera, entonces o Marques fue el segundo o Lorenzo fue el segundo.
P2: Si Marques fue el segundo, entonces Rossi no gan la carrera.
P3: Si Marques fue el segundo, entonces Lorenzo no fue el segundo.
P4: Rossi gan la carrera. Entonces,
C: Marques no fue el segundo.