Template:Logical truth

{{documentation|content= {{collapsible option}} Rows represent two different mathematical approaches to the truth, and a special series about the false. The order of columns also does matter. Left column contains abstract entities, just defined. Middle column describes application concepts: a truth function may give true or false, a formal proof may exist or not, and a contradiction may occur or be avoided. Rightmost column contains types of (mathematical) results.