Jeg mener forøvrig at vi burde innføre KUDOS på artikklene. Det bør være normert så ikke Tor stikker av med alle sternene, men en eller annen ranking hvor man kan stemme på artikkler. -Are! (eller send meg kildekoden på mail. Da er det ferdig omtrent i 2024)
Grunnen til at P-->Q er det samme som at (ikke)P eller Q er fordi at hvis man ser på P impliserer Q så er påstanden sann for alle andre tilstander en at P = 1 og Q = 0. Hvis man da ser på (Ikke)P eller Q så er den også sann for alle andre tilstander enn at P=1 og Q=1 altså de er logisk ekvivalente. Man kan vise at det stemmer via et diagram eller ved å skrive en kontrapositiv ekvivalens, men det er bare mer av det samme.
Comments