Si quieres un ejemplo de libro de texto de lógica, puedes decir