skip to main
|
skip to sidebar
Isabelle - MAC OSX - Virtual Box
required searches during my daily work, collected for reference
Wednesday, March 20, 2013
Formal Logic Symbols
double turnstile
In
logic
, the
symbol
or
is called the
double turnstile
. It is closely related to the
turnstile
symbol
, which has a single bar across the middle. It is often read as "
entails
", "
models
" or "
is a semantic consequence of
".
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)
About Me
Unknown
View my complete profile
Links
Google News
Edit-Me
Edit-Me
Blog Archive
►
2015
(5)
►
October
(4)
►
September
(1)
►
2014
(2)
►
October
(2)
▼
2013
(10)
►
November
(1)
►
October
(1)
►
April
(2)
▼
March
(1)
Formal Logic Symbols
►
February
(5)
►
2011
(1)
►
November
(1)
Followers