\(\mathcal T\)eorema de Frege

 En lógica proposicional, el teorema de Frese se refiere a la siguiente tautología:

$${\displaystyle (P\to (Q\to R))\to ((P\to Q)\to (P\to R))}$$