Memory.com.com ™ es una aplicación en línea y una herramienta educativa diseñada para estudiar, aprender y repasar. memory.com no es un juego y no está disponible sin conexión ni asociado con ninguna otra empresa.
Memory.com se basa originalmente en el algoritmo de repetición espaciada supermemo sm-2.
Lea más sobre nuestros algoritmos de estudio en línea.

Version de aplicacion: 4.37.48

¿problemas?
¿página congelada o algo no se carga?
intente refrescarse a continuación:

(*Tendrás que volver a iniciar sesión)

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

Autor

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