« first day (2419 days earlier)      last day (1494 days later) » 

Martin Sleziak
Martin Sleziak
4:24 AM
new-tag A new tag nomenclature was created.
-1
Q: Is $A \vdash \top$ true? If so does it have name?

Mozibur UllahEx Falso Quodbilet or the principle of explosion is that from a false/contradiction we can derive any proposition; that is $\bot \vdash A$. Dually, do we have from any proposition we can derive truth, that is $A \vdash \top$? If so does it have name?

lo.logic nomenclature
 
Martin Sleziak
Martin Sleziak
4:38 AM
Could perhaps the existing tag terminology be used instead of nomenclature?
 
 
1 hour later…
Martin Sleziak
Martin Sleziak
5:49 AM
@MartinSleziak The tag epidemics-modeling has quickly grown to 10 questions.
 
 
9 hours later…
Martin Sleziak
Martin Sleziak
2:43 PM
@ToddTrimble I see that you have joined the discussion on meta about that question. If I may ask, what do you think about creation of the new tag for the question? Wouldn't terminology be a reasonable replacement for nomenclature?
 

« first day (2419 days earlier)      last day (1494 days later) »