This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n12	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Atomic_sentence

rdf:type

dbo:Person owl:Thing

rdfs:label

Atomic sentence

rdfs:comment

In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language.

owl:differentFrom

dbr:Sentence_clause_structure

owl:sameAs

yago-res:Atomic_sentence freebase:m.03s0z7

dbp:wikiPageUsesTemplate

dbt:Reflist dbt:Main dbt:Distinguish dbt:Mathematical_logic

dct:subject

dbc:Sentences_by_type dbc:Propositions dbc:Predicate_logic dbc:Syntax_(logic)

gold:hypernym

dbr:Sentence

prov:wasDerivedFrom

n12:Atomic_sentence?oldid=1062673993&ns=0

dbo:wikiPageID

943457

dbo:wikiPageLength

9404

dbo:wikiPageRevisionID

1062673993

dbo:wikiPageWikiLink

dbr:Bertrand_Russell dbr:Logical_form dbr:Natural_language dbr:Atomic_formula dbr:T-schema dbr:Constant_(mathematics) dbr:Statement_(logic) dbc:Propositions dbr:Truth dbr:Proposition dbc:Syntax_(logic) dbr:Alfred_Tarski dbr:Tractatus_Logico-Philosophicus dbr:Ludwig_Wittgenstein dbr:Sentence_(mathematical_logic) dbr:First-order_logic dbr:Truth-bearer dbr:Truth_value dbr:Variable_(mathematics) dbr:Well-formed_formula dbr:Propositional_calculus dbr:Predicate_(mathematical_logic) dbr:Logical_constant dbr:Analytic_philosophy dbr:Logical_conjunction dbr:Logical_connective dbc:Sentences_by_type dbr:Logic dbr:Quantifier_(logic) dbc:Predicate_logic dbr:Uninterpreted_function dbr:Term_(logic) dbr:Grammar dbr:Philosophical_logic

dbo:abstract

In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language. From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences. This is to say, for example, that the truth of the sentence "John is Greek and John is happy" is a function of the meaning of "and", and the truth values of the atomic sentences "John is Greek" and "John is happy". However, the truth or falsity of an atomic sentence is not a matter that is within the scope of logic itself, but rather whatever art or science the content of the atomic sentence happens to be talking about. Logic has developed artificial languages, for example sentential calculus and predicate calculus, partly with the purpose of revealing the underlying logic of natural-language statements, the surface grammar of which may conceal the underlying logical structure. In these artificial languages an atomic sentence is a string of symbols which can represent an elementary sentence in a natural language, and it can be defined as follows. In a formal language, a well-formed formula (or wff) is a string of symbols constituted in accordance with the rules of syntax of the language. A term is a variable, an individual constant or a n-place function letter followed by n terms. An atomic formula is a wff consisting of either a sentential letter or an n-place predicate letter followed by n terms. A sentence is a wff in which any variables are bound. An atomic sentence is an atomic formula containing no variables. It follows that an atomic sentence contains no logical connectives, variables or quantifiers. A sentence consisting of one or more sentences and a logical connective is a compound (or molecular) sentence.

foaf:isPrimaryTopicOf

n12:Atomic_sentence