Demostración, ejemplo 4

Abstract

En este vídeo se presenta una demostración de una proposición de la forma P=>Q donde las proposiciones involucradas son sobre conjuntos tales como inclusiones o igualdades. En esta se discute la estrategia a seguir para demostrar este tipo de proposición (utilizando la demostración directa) así como la correcta redacción de la misma.

This video presents a demonstration of a proposition of the form P => Q where the propositions involved are about sets such as inclusions or equalities. This discusses the strategy to follow to demonstrate this type of proposal (using direct demonstration) as well as the correct wording of it.