[Logica]Problema su un esercizio

[Otherguy2k]

Salve
Ragazzi sfogliando un testo di analisi ho trovato questo esercizio di logica:
Sfruttando le seguenti tautologie:
$1)(PvvP)=>P$
$2)P=>(PvvL)$
$3)(PvvL)=>(LvvP)$
$4)(P=>L)=>((RvvP)=>(RvvL))$
e ed applicando la regola di deduzione,dimostrare la seguente tautologia:
$(P=>L)=>((F=>P)=>(F=>L))$

Non riesco a provarlo !
Praticamente ho provato a scrivere
$(F=>P)$ ed $(F=>L)$ come $(notFvvP)$ e $(notFvvP)$
Arrivando ad un espressione del tipo:
$(P=>L)=>((notFvP)=>(notFvvL))$
Che è simile alla $4)$ e poi mi sono bloccato,ho provato ad andare avanti poi ma con scarsi risultati, l'unica cosa che mi viene in mente è sotituire $notF$ con $R$ e potrebbe essere lecita come operazione considerendo che si tratta di una tautologia e quindi è sempre vera a prescindere dalle proposizione che compaiono.
Che ne dite?
Nel caso in cui il mio ragionamento non sia corretto potreste propormi qualche soluzione alternativa,o cmq postrami qualche consiglio?
Ringrazio anticipatamente per le eventuali risposte.

[TomSawyer1]

E' uguale alla $4)$, con $R=\neg F$.

[Otherguy2k]

Perfetto grazie^^