MPO - Raponament lògic / AEA1A1: Exercicis

Proposicions

Exercici 1

Indica quines de les següents expressions són proposicions:

• Finlandia pertany a la Unió Europea

• El famós Linus Torvalds

• Catalunya té 5 provincies

• La víbora té orelles

• Quants anys han transcorregut

• Visca la terra!

• La taronja és un mineral

• 2X + 1 = 3

• L'ànec és un mamifer

• 10 > -100

Exercici 2

Simbolitza les següents proposicions:

• No vaig veure la pel·lícula, però vaig llegir la novel·la

• Ni vaig veure la pel·lícula ni vaig llegir la novel·la

• No és cert que veiés la pel·lícula i llegís la novel·la

• Vaig veure la pel·lícula encara que no vaig llegir la novel·la

• No m'agrada dormir ni matinar

• O tu estàs equivocat o és falsa la notícia que has llegit

• Si no estiguessis boja, no hauries vingut aquí

• Plou i o bé neva o bufa el vent

• O està plovent i nevant o està bufant el vent

• Si hi ha veritable democràcia, aleshores no hi ha detencions arbitràries ni altres violacions dels drets civils

• Robert farà el doctorat quan i només quan obtingui la llicenciatura

• Si ve en tren o en cotxe arribarà abans de les sis.

Exercici 3

Simbolitza:

• Si p, entonces q

• No es el caso que p y q

• p solamente si q y no-r

• p o no-q

• Si p y q, entonces no-r o s

• Si p, entonces q, y si q, entonces p

• Si p y q, entonces r. p. Luego si q, entonces r (de moment no!)

• Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t (de moment no!)