MPO - Raponament lògic / AEA1A1: Solucions exercicis
De wikiserver
Contingut
Proposicions i formalització
Exercici 1
Indica quines de les següents expressions són proposicions:
- Finlandia pertany a la Unió Europea És proposició
- El famós Linus Torvalds No és proposició
- Catalunya té 5 provincies És proposició
- La víbora té orelles És proposició
- Quants anys han transcorregut No és proposició
- Visca la terra! No és proposició
- La taronja és un mineral És proposició
- 2X + 1 = 3 No és proposició
- L'ànec és un mamifer És proposició
- 10 > -100 És proposició
Exercici 2
Simbolitza les següents preposicions:
- No vaig veure la pel·lícula, però vaig llegir la novel·la
- p = vaig veure la pel·lícula
- q = vaig llegir la novel·la
- ¬p ^ q
- Ni vaig veure la pel·lícula ni vaig llegir la novel·la
- p = vaig veure la pel·lícula
- q = vaig llegir la novel·la
- ¬p ^ ¬q
- No és cert que veiés la pel·lícula i llegís la novel·la
- p = vaig veure la pel·lícula
- q = vaig llegir la novel·la
- ¬(p ^ q)
- Vaig veure la pel·lícula encara que no vaig llegir la novel·la
- p = vaig veure la pel·lícula
- q = vaig llegir la novel·la
- p ^ ¬q