Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Logic symbols
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
34848776
(xsd:integer)
dbo:
wikiPageRevisionID
681129456
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_category
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Logic symbols
(en)
skos:
broader
dbc
:Typographical_symbols
dbc
:Notation
dbc
:Mathematical_symbols
dbc
:Symbols
dbc
:Syntax_(logic)
dbc
:Concepts_in_logic
dbc
:Formal_languages
skos:
prefLabel
Logic symbols
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Logic_symbols?oldid=681129456&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Metavariable
dbr
:Sheffer_stroke
dbr
:Universal_quantification
dbr
:Vertical_bar
dbr
:⇔
dbr
:∃
dbr
:∄
dbr
:∧
dbr
:∨
dbr
:∴
dbr
:⊃
dbr
:⊢
dbr
:⊤
dbr
:⊥
dbr
:⊨
dbr
:Descending_wedge
dbr
:List_of_logic_symbols
dbr
:Predicate_variable
dbr
:↓
dbr
:&
dbr
:.·.
dbr
:Modal_operator
dbr
:Free_variables_and_bound_variables
dbr
:Therefore_sign
dbr
:Lozenge_(shape)
dbr
:~
dbr
:¦
dbr
:Horseshoe_(symbol)
dbr
:Symbol_(formal)
dbr
:Up_tack
dbr
:→
dbr
:Thus_symbol
dbr
:Tilde
dbr
:Triple_bar
dbr
:Wedge_(symbol)
dbr
:Ampersand
dbr
:Glossary_of_Principia_Mathematica
dbr
:Logical_connective
dbr
:Logical_constant
dbr
:Eet_(symbol)
dbr
:Tee_(symbol)
dbr
:Double_turnstile
dbr
:Arrow_(symbol)
dbr
:Turnstile_(symbol)
dbr
:Literal_(mathematical_logic)
dbr
:Propositional_variable
dbr
:Existential_quantification
dbr
:Turned_A
dbr
:Non-logical_symbol
is
dcterms:
subject
of
dbr
:Metavariable
dbr
:Sheffer_stroke
dbr
:Universal_quantification
dbr
:Vertical_bar
dbr
:⇔
dbr
:∃
dbr
:∄
dbr
:∧
dbr
:∨
dbr
:∴
dbr
:⊃
dbr
:⊢
dbr
:⊤
dbr
:⊥
dbr
:⊨
dbr
:Descending_wedge
dbr
:List_of_logic_symbols
dbr
:Predicate_variable
dbr
:↓
dbr
:&
dbr
:.·.
dbr
:Modal_operator
dbr
:Free_variables_and_bound_variables
dbr
:Therefore_sign
dbr
:Lozenge_(shape)
dbr
:~
dbr
:¦
dbr
:Horseshoe_(symbol)
dbr
:Symbol_(formal)
dbr
:Up_tack
dbr
:→
dbr
:Thus_symbol
dbr
:Tilde
dbr
:Triple_bar
dbr
:Wedge_(symbol)
dbr
:Ampersand
dbr
:Glossary_of_Principia_Mathematica
dbr
:Logical_connective
dbr
:Logical_constant
dbr
:Eet_(symbol)
dbr
:Tee_(symbol)
dbr
:Double_turnstile
dbr
:Arrow_(symbol)
dbr
:Turnstile_(symbol)
dbr
:Literal_(mathematical_logic)
dbr
:Propositional_variable
dbr
:Existential_quantification
dbr
:Turned_A
dbr
:Non-logical_symbol
is
skos:
broader
of
dbc
:Logical_connectives
dbc
:Logical_expressions
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License