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

Taules de veritat

on

  • 308 views

 

Statistics

Views

Total Views
308
Slideshare-icon Views on SlideShare
228
Embed Views
80

Actions

Likes
0
Downloads
0
Comments
0

1 Embed 80

http://lumenmediterranei.blogspot.com.es 80

Accessibility

Upload Details

Uploaded via as Microsoft Word

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Taules de veritat Taules de veritat Document Transcript

    • 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
    • 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
    • —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