Memory.com™ is an online application and educational tool designed for studying, learning and revision. Memory is not a game and is not available offline or associated with any other company.
Memory is originally based on the Supermemo SM-2 spaced repetition Algorithm.
Read more about our online study algorithms

App Version: 4.37.48

Problems?
Page frozen or something won't load?
Try hard refreshing below:

(*You will have to login again)

Utsagnslogikk og Bevis

Kontrapositivt bevis

Et kontrapositivt bevis for en påstand på formen "hvis F, så G", er et logisk gyldig resonnement som begynner med antakelsen om at G er usann, og som konkluderer med at F er usann. Den kontrapositive av formelen (F -> G) er formelen (-G -> -F).

Author

Et kontrapositivt bevis for en påstand på formen "hvis F, så G", er et logisk gyldig resonnement som begynner med antakelsen om at G er usann, og som konkluderer med at F er usann. Den kontrapositive av formelen(F -> G) er formelen (-G -> -F).