La Lógica de Proposiciones es una rama de la lógica matemática que estudia las estructuras formales del razonamiento a través…