EXERCICIS:
1.- Formalitzar proposicions:
1.- En Pere i la Maria estan malalts. p^q
2.- Quan els nens dormen els joves es diverteixen o treballen. p→(q v r)
3.- Si ells no paguen nosaltres no cobrem, i si cobrem podem comprar. (ᄀp→ᄀq) ^ (q→r)
4.- No és veritat que els plats siguin a taula. ᄀp^q
5.- Sempre que vaig a la universitat fumo molt i em diverteixo però si em diverteixo el meu
rendiment és més baix. (p→q^r) ^(r→s)
6.- Tant si vaig a la universitat com al terapeuta sempre fumo molt. (p^q)→r
7.- Vagi en tren o caminant, hi aniré (pvq)→r
8.- O Hempel estava equivocat o ho estava Popper, o tots dos. (pvq) v r
2.- Interpretació de les formes proposicionals
Codi:
p: L’Andreu va anar al dentista
q: El dentista va faltar a la cita
r: el dentista li va empastar una dent
s: el dentista va tardar poc temps
t: els pacients van haver d’esperar
a.- p v q
L’Andreu va anar al dentista o el dentista va faltar a la cita
b.- (p∧q)→ t
L’Andreu va anar al dentista i el dentista va faltar a la cita llavors els pacients van haver
d’esperar.
c.- (p→r) ∧ s
L’Andreu va anar al dentista llavors el dentista li va empastar una dent i el dentista va tardar
poc temps.
d.- (pΛᄀq) → ((r∧s)→t))
L’Andreu va anar al dentista i no el dentista va faltar a la cita llavors el dentista li va
empastar una dent i el dentista va tardar poc temps llavors els pacients van haver
d’esperar.
e.-(s→r) Λ (q∧t)
El dentista va tardar poc temps llavors el dentista li va empastar una dent i el dentista va
faltar a la cita i els pacients van haver d’esperar.
f.- (s ∧ᄀt)→(ᄀq∧p)
El dentista va tardar poc temps i els pacients no van haver d’esperar llavors el dentista va
faltar a la cita i l’Andreu va anar al dentista.
