Logical Assertion

The logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antedecent. For example, if p = "x is even", the implication
(\vdash p)\rightarrow(p \pmod 2 \equiv 0)
is thus true. We can also write this using the logical assertion symbol, as
\vdash \left( (\vdash p)\rightarrow(p \pmod 2 \equiv 0) \right)

 

<< PreviousWord BrowserNext >>
thule (people)
list of species in fantasy fiction
perfect crime
tourism in india
passive mood
canoe polo
legendary creature
amiri baraka
lotto south
culture of denmark
aletsch glacier
mass spectrometry
lionel
mathura
doctrine of international exhaustion
brownie (disambiguation)
malacaang palace
brownie (elf)
ebonite
kimmo lehtonen
mackenzie river husky
duncan black
frs
immortal game
culture of italy
isaac newton's occult studies
murs
new jersey institute of technology
sexuality in christian demonology
wattle eye
evergreen game
bati
potato pancakes
algebraic data type
doomsday
manute bol
arandjelovac
backa palanka
raki (alcoholic beverage)
becej
borca
cacak
cuprija
djakovica