Este documento describe la resolución de un ejercicio lógico sobre los viajes de Pedro de Arequipa a Chiclayo. Se establece que Pedro viaja por avión o por ómnibus a Chiclayo, y que si no viaja por avión lo hará por ómnibus. Luego se presenta la representación lógica de esta relación entre las proposiciones P y Q.