• Like
Taules de veritat
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

Taules de veritat

  • 179 views
Published

 

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
179
On SlideShare
0
From Embeds
0
Number of Embeds
2

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. Taules de veritat. Exercicis resolts Fes taula de veritat dels enunciats moleculars següents. Fórmula tautològica pq r 111 011 101 001 110 010 100 000 p 0 1 0 1 0 1 0 1 p q 1 1 1 0 1 1 1 0 q  r (p q)  (q  r) 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 p  r [(p  q)  (q  r)]  (p  r) 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 Fórmula indeterminada o contingent p q r p r p  q r  p (p  q)  (r  p) 111 0 0 1 1 1 011 1 0 0 0 0 101 0 0 0 1 1 001 1 0 0 0 0 110 0 1 1 1 1 010 1 1 0 1 1 100 0 1 0 1 1 000 1 1 0 1 1 pr 0 0 0 0 0 1 0 1 [(p  q)  (r  p)]  (p  r) 0 1 0 1 0 1 0 1 Fórmula contradictòria pq r 111 011 101 001 110 010 100 000 qr 1 1 1 1 1 1 0 0 p  (q  r)  [p  (q  r)] [p  (q  r)]  [p  (q  r)] 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0
  • 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 Xr 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 pq 1 1 0 1 1 1 0 1 pr (pq)(p r) pp [((pq)(p r))(pp)] 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 qr X (qr) 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