\documentclass[12pt]{article}
\usepackage{amssymb}
\begin{document}
$\nvDash A\vee\neg A$
\end{document}