\documentclass[a4paper,10pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{pdfpages}
\usepackage{latexsym}
\usepackage{amssymb,amsthm,amsmath}
\usepackage{amsthm}

\begin{document}
 \newcommand{\nxt}{{\ensuremath\raisebox{0.25ex}{\text{\scriptsize$\bigcirc$}}}}
\newcommand{\Rdiamond}{\Diamond_{\!F}}
\newcommand{\Rbox}{\Box_{\!F}}
\newcommand{\Rnext}{\nxt_{\!F}}
\newcommand{\Ldiamond}{\Diamond_{\!P}}
\newcommand{\Lbox}{\Box_{\!P}}
\newcommand{\Lnext}{\nxt_{\!P}}
\newcommand{\SVdiamond}{\mathop{\ooalign{$\Diamond$ \cr \kern0.5ex
    \raisebox{0.35ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}
\newcommand{\SVbox}{\mathop{\ooalign{$\Box$ \cr \kern0.42ex
    \raisebox{0.3ex}{\scalebox{0.7}{$*$}}} \kern-0.9ex}}


$((E1isEnrolledInv_{disEnrolled} \rightarrow School_{disEnrolled}) \land $ \\ 
 $ (E1isEnrolled_{disEnrolled} \rightarrow E1isEnrolledInv_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolledInv_{Pipo} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E2isEnrolled_{Pipo} \rightarrow E1isEnrolled_{Pipo}) \land $ \\ 
 $  \lnot E2isEnrolled_{disEnrolledInv} \land $ \\ 
 $ (E2isEnrolled_{disEnrolledInv} \rightarrow E1isEnrolled_{disEnrolledInv}) \land $ \\ 
 $  \lnot E2isEnrolled_{Pipo} \land $ \\ 
 $ (E1isEnrolledInv_{School1} \rightarrow School_{School1}) \land $ \\ 
 $ (E2isEnrolled_{disEnrolled} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E1isEnrolled_{disEnrolled} \rightarrow Student_{disEnrolled}) \land $ \\ 
 $  \lnot E2isEnrolled_{School2} \land $ \\ 
 $ (E1isEnrolledInv_{School2} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E2isEnrolled_{School2} \rightarrow E1isEnrolled_{School2}) \land $ \\ 
 $ (E1isEnrolled_{Pipo} \rightarrow E1isEnrolledInv_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolledInv_{disEnrolled} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E2isEnrolled_{School1} \rightarrow E1isEnrolled_{School1}) \land $ \\ 
 $ (E1isEnrolled_{Pipo} \rightarrow Student_{Pipo}) \land $ \\ 
 $ (E1isEnrolled_{School1} \rightarrow E1isEnrolledInv_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolled_{disEnrolledInv} \rightarrow Student_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolled_{School2} \rightarrow E1isEnrolledInv_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolled_{School2} \rightarrow Student_{School2}) \land $ \\ 
 $ (E1isEnrolledInv_{disEnrolledInv} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E1isEnrolledInv_{School1} \rightarrow E1isEnrolled_{disEnrolled}) \land $ \\ 
 $ (E1isEnrolledInv_{disEnrolledInv} \rightarrow School_{disEnrolledInv}) \land $ \\ 
 $ (E1isEnrolledInv_{School2} \rightarrow School_{School2}) \land $ \\ 
 $ (E1isEnrolledInv_{Pipo} \rightarrow School_{Pipo}) \land $ \\ 
 $ (E1isEnrolled_{disEnrolledInv} \rightarrow E1isEnrolledInv_{disEnrolledInv}) \land $ \\ 
 $  \lnot E2isEnrolled_{disEnrolled} \land $ \\ 
 $  \lnot E2isEnrolled_{School1} \land $ \\ 
 $ (E1isEnrolled_{School1} \rightarrow Student_{School1}) \land $ \\ 
 $ School_{School1} \land $ \\ 
 $ E1isEnrolledInv_{School1} \land $ \\ 
 $ E1isEnrolled_{Pipo} \land $ \\ 
 $ School_{School2} \land $ \\ 
 $ Student_{Pipo})$ 
\end{document}