Pregunta: Traducir a PROP, usando las convenciones del libro de texto (use -> para la flecha). Recuerde quitar paréntesis exteriores en el conectivo principal. Pero aún se necesitan paréntesis alrededor de un antecedente o consecuente complejo.

1. Pía es culpable sólo si Raquel lo es.

2. Pía es culpable si Raquel lo es.

3. Si Quinn o Raquel son culpables, Pia también lo es.

4. Si ni Pia ni Quinn son culpables, entonces ni Raquel ni Stan son culpables.

5. Si Pia es culpable, entonces si Raquel es culpable, entonces Quinn es culpable.