Alberto Jimnez Miguel Resuelva

Tarea 1

Exprese las siguientes proposiciones en forma simblica, e identifique las principales conectivas. (a) No es cierto que si est soleado entonces usar un paraguas. ~(PQ) (b) El programa terminar si y solo si la entrada no es un n mero o la tecla E!" es presionada. P~Q R (c) !i x # $ y y # % y & # ', entonces no es cierto que si y # %, & # ' entonces x # $ o & #'. (PQR)~(QRPR) '. (etermine con tablas de verdad la siguiente equivalencia) ( !) " ! P * * + + Q * + * + ~P + + * * ~Q + * + * ~! * * + * ~( ~!) + + * + ~ ! + + * +

#s e!uivalen$ia l%gi$a ,. (etermine si cada una de las siguientes oraciones es una proposicin. (a) En el '--, .eorge /. 0us1 era 2residente de los Estados 3nidos de 4mrica. #s una ro osi$i%n (b) x 5 , es un entero positivo. &o es una ro osi$i%n (c) 67 es un n mero par. &o es una ro osi$i%n (d) !i 8ennifer llega tarde a la fiesta, entonces su prima !ara se molestar. #s una ro osi$i%n %. !ean p, q, r y s, las siguientes proposiciones) p ) 9erminar mi programa de 8ava antes del almuer&o. q ) 8ugar f tbol en la tarde. r ) El d:a es soleado. s ) ;a 1umedad es ba<a Escriba lo siguiente en forma simblica)

Alberto Jimnez Miguel

Tarea 1

(a) !i el d:a es soleado, <ugar f tbol en la tarde. RQ b) 9erminar mi programa en 8ava antes del almuer&o es necesario para que pueda <ugar f tbol en la tarde. PQ (c) 3na ba<a 1umedad y un d:a soleado son suficientes para que pueda <ugar f tbol en la tarde. 'R Q 7. "onstruya una tabla de verdad para cada una de las siguientes expresiones) (a) =(p =q) > =p
P * * + + Q * + * + ~P + + * * ~Q + * + * ! * * + * ( !) + + * +
( !)

* * * *

(b) p > (q > r)

P * * * * + + + + Q * * + + * * + + R * + * + * + * + (! r) * + * * * + * * (! r) * + * * * * * *

(c) (p > q) > r

P * * * * + + + + Q * * + + * * + + R * + * + * + * + ( !) * * + + * * * * ( !) r * + * * * + * +

(d) (p > q) > (q > p)

Alberto Jimnez Miguel

Tarea 1

P * * + +

Q * + * +

( !) * + * *

(! ) * * + *

( !) (! ) * * + *

(e) (p (p > q)) > r

P * * * * + + + + Q * * + + * * + + R * + * + * + * + ( !) * * + + * * * * ( ( !)) * * + + + + + + ( ( !)) r * + * * * * * *

(f) (p q) > p
P * * + + Q * + * + ( !) * + + + ( !) * * * *

(g) q ? (=p =q)

P * * + + Q * + * + ~P + + * * ~Q + * + * ( !) + * * * ! ( !) + + * +

(1) ((p > q) (q > r)) > (p > r)

P Q R ( !) (! r) ( r) (( !) (! r)) (( !) (! r)) ( r)

* * * * + + + +

* * + + * * + +

* + * + * + * +

* * + + * * * *

* + * * * + * *

* + * + * * * *

* + + + * + * *

* * * * * * * *

@. *erfique si la siguiente expresin es una tautolog:a.

Alberto Jimnez Miguel

Tarea 1

(p > (q > r)) > ((p > q) > (p > r))

P Q R !r ! r ( (! r)) (( !) ( r))
( (! r)) (( !) ( r))

* * * * * + * + * * + + + * * + * + + + * + + +

* + * * * + * *

* * + + * * * *

* + * + * * * *

* + * * * * * *

* + * * * * * *

* * * * * * * *

( a e) resi%n ( (! r)) (( !) ( r)) es una tautolog*a+ $. (etermine lo siguiente) (a) A"untas l:neas se necesitan para la tabla de verdad de la expresin) (p =q) ? ((=r s) > t) ,-./ 0, l*neas

(b) !ean p6 , p' , . . ., pn , n proposiciones. !ea 2 una expresin que contiene por lo menos una ocurrencia de cada pi , donde 6 B i B n. A"untas l:neas se necesitan para construir una tabla de verdad para 2 C 11,101+++ & l*neas