Taules de veritat

606 views
357 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
606
On SlideShare
0
From Embeds
0
Number of Embeds
185
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Taules de veritat

  1. 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. 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. 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

×