About: propositional logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: propositional logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://wikiba.se/ontology#Item, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Item
label	propositional logic propositional calculus
wdt:P279	artificial object entity system structure logical system formal system propositional calculus
preferred label	propositional calculus
described by	https://covidontheweb.inria.fr:4443/about/id/entity/http/ns.inria.fr/covid19/graph/wikidata-named-entities-full proxy:entity/http/ns.inria.fr/covid19/graph/wikidata-named-entities-full proxy:entity/http/www.wikidata.org/entity/Q8078
schema:name	propositional calculus
schema:description	branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components
is wdt:P279 of	propositional calculus
is topic of	logic covid:graph/wikidata-named-entities-full
is hasBody of	named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositionally' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'Propositional Logic formulae' named entity 'propositional logic formulae' named entity 'classical propositional logic' named entity 'propositional constants' named entity 'propositional logic' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'CPL' named entity 'propositional logic' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional constants' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositional calculus' named entity 'propositional logic' named entity 'propositional constants' named entity 'propositional logic' named entity 'propositional constants' named entity 'classical propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositionally' named entity 'propositional logic' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositionally' named entity 'propositional constants' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'CPL' named entity 'propositionally' named entity 'propositional logic' named entity 'propositionally' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic formulae' named entity 'propositional calculus' named entity 'propositional logic' named entity 'propositionally' named entity 'propositionally' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'classical propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic' named entity 'propositional logic'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software