Prueba Condicional y Prueba Indirecta

Aplico (i)_____ cuando quiero obtener (ii)_____ y aplico (iii)_____ cuando quiero obtener (iv)_____.
1. (i) una prueba condicional (PC)
  
  (ii) fbfs cuyo operador principal es un condicional o una disyunción
  
  (iii) una prueba indirecta (PI)
  
  (iv) fbfs cuyo operador principal es una negación
2. (i) una prueba condicional (PC)
  
  (ii) fbfs cuyo operador principal es un condicional o una disyunción
  
  (iii) una prueba indirecta (PI)
  
  (iv) fbfs cuya negación es la asunción de la PI
3. (i) una prueba condicional (PC)
  
  (ii) fbfs cuyo operador principal es un condicional
  
  (iii) una prueba indirecta (PI)
  
  (iv) fbfs cuyo operador principal es una negación
Puedo utilizar una fila que derivé dentro de una PC o una PI fuera de dicha PC o PI...
1. siempre y cuando ponga 'PC' o 'PI' y las filas que me haya tomado la PC o la PI al lado del resultado de usar esta fila.
2. siempre y cuando haya una fila con la misma fbf fuera de la PC o la PI.
3. siempre y cuando sea utilizada en otra PC o PI, distinta a la PC o PI de origen.
4. ¡nunca!
¿Puedo utilizar dentro de una PC o PI una fila que derivé fuera de dicha PC o PI?
1. No. Dentro de la PC o PI solo puedo utilizar lo que está dentro de la PC o PI.
2. No. Dado que la PC o PI es una asunción, utilizar alguna fbf externa a la PC o PI llevaría a dejar de preservar la consecuencia lógica.
3. Sí. Se puede siempre y cuando se utilicen solo las filas de las premisas y no otras filas de la prueba que sean externas a la PC o PI.
4. Sí. Se pueden utilizar tanto las filas de las premisas como las filas derivadas de ellas.
¿Qué forma lógica podría tener una fbf que es resultado de aplicar una PI dentro de una PC?
1. ¬(p⊃q)
2. p⊃q
3. ¬¬p⊃¬q
4. p⊃¬q