torsdag 1 februari 2007

Motsägelser och pilar

Så var åter en Datalogi föreläsning överstökad. Efter att ha börjat kursen som 'a set of ' frågetecken, kände vi oss lite smartare efter förra veckan, för att återigen kastas tillbaka till frågeteckenstadiet. Anledningen till detta var att vi gick igenom hur man bevisar att en formel är sann eller falsk utan att göra ett 'truth table'. Vilket jag ännu efter två timmars föreläsning knappt förstår. Vilket ju bådar gott...

Någon som förstår alla dessa pilar..? För jag gör det då inte.

1 kommentar:

Anonym sa...

Det är ju glasklart! Den där lilla till vänster betyder ju att negationen är True, och den där liksom långa inte så böjda att om Q är True så är NotQ True, fast det är ju egentligen False för det visar ju den där halvlånga neråtpilen och den där lilla snett uppåt fast nere till höger. Eller hur var det nu..?