MPO - Raponament lògic / AEA1A1: Exercicis
De wikiserver
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!)