2. Llegeix els raonaments i formalitza'ls. Després, taula de veritat.
- En
Pep es comptable o en Pep és actor. Si no és comptable, no portarà bé els comptes
de casa seva. És segur que en Pep és actor. En conseqüència, en Pep no portarà bé els
comptes de casa seva.
Assignació:
“En Pep és comptable” : „p‟
“En Pep és actor”: „q‟
“En Pep porta bé els comptes de casa seva” :‟r‟
Formalització: [(p q) ( p r) q] r
pq r p
111
0
011
1
101
0
001
1
110
0
010
1
100
1
000
0
r
0
0
0
0
1
1
1
1
p q p r (p q) (p r)
1
1
1
1
0
0
1
1
1
0
0
0
1
1
1
1
1
1
1
1
1
0
1
0
[(p q) (p r)] q
1
0
0
0
1
1
0
0
Xr
0
1
1
1
1
1
1
1
Fórmula indeterminada o contingent
- Si vaig a casa seva, soparem molt tard. Si no hi vaig, em perdré el partit de futbol
d'aquest vespre. És segur que o vaig a casa seva o no hi vaig. Per tant, és segur que o
soparé tard o em perdré el partit de futbol.
Assignació:
“Vaig a casa” : „p‟
“Soparem tard”: „q‟
“Em perdré el partit d‟aquest vespre”: ‟r‟
Formalització: [(p q) (p r) (p p)] (q r)
p q r p
111
0
011
1
101
0
001
1
110
0
010
1
100
0
000
1
pq
1
1
0
1
1
1
0
1
pr (pq)(p r) pp [((pq)(p r))(pp)]
1
1
1
1
1
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
0
1
0
Fórmula tautològica
qr X (qr)
1
1
1
1
1
1
1
1
1
1
1
1
0
1
0
1
3. —Si continues corrent tant, cauràs o et cansaràs. Si caus, no aniràs al campionat. Segur
que no deixaràs de córrer tant. De manera que segur que demà no aniràs al campionat.
Assignació:
“Continuar corrent tant” : „p‟
“Cauràs”: „q‟
“Et cansaràs”: ‟r‟
“Aniràs al campionat”: „s‟
Formalització: [(p (q r)) (q s) p] s
Fórmula indeterminada o contingent