Atomic sentence
http://dbpedia.org/resource/Atomic_sentence an entity of type: Thing
En atomär sats (av gr. atomos, odelbar) är inom logik ett påstående eller en sats som inte kan delas upp i andra, enklare påståenden eller satser. Det naturliga språkets motsvarighet till atomära satser är enkla påståenden om sakförhållanden, t.ex. "hunden springer" eller "det regnar". De satser som inte är atomära kallas molekylära satser. Dessa består av satser (atomära eller molekylära) som är sammanbunda med satslogiska konnektiv. Ett exempel på en molekylär sats i det naturliga språket är "hunden springer och Sokrates är filosof".
rdf:langString
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：
* p
* M(a)
* P2(b,a,c) 但下列不是原子句子（因为有自由变量的出现）：
* M(x)
* T(a,z)
* P2(x,y,z)
rdf:langString
الجملة الذرية (بالإنجليزية: Atomic sentence) هي جملة تُستخدم في الفلسفة المنطقية والتحليلية وهي نوع من الجمل الصريحة التي قد تحمل الخطأ أو الصواب؛ تتميز الجملة الذرية بأنّها غير قابلة للتجزئة ولا يمكن تبسيطها. مثلاً جملة الكلب يركض هي جملة ذرية، في حين الكلب يركض والقطة تهرب في اللغة الطبيعية. طوّر المنطق لغات اصطناعية مثل حساب القضايا ومنطق الرتبة الأولى، جزئياً بهدف الكشف عن المنطق الكامن وراء عبارات اللغة الطبيعية والتي قد تخفي قواعدها الأساسية في هذه اللغات الاصطناعية. الجملة الذرية هي سلسلة من الرموز التي يمكن أن تمثل جملة أولية في لغة طبيعية، ويمكن تعريفها على النحو التالي:
rdf:langString
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.
rdf:langString
En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural.
rdf:langString
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples. Por exemplo, "O cachorro correu" é uma sentença atômica em linguagem natural, enquanto que "O cachorro correu e o gato se escondeu" é uma sentença molecular em linguagem natural.
rdf:langString
rdf:langString
جملة ذرية
rdf:langString
Atomic sentence
rdf:langString
Sentencia atómica
rdf:langString
Proposizione atomica
rdf:langString
Sentença atômica
rdf:langString
Atomär sats
rdf:langString
原子句子
xsd:integer
943457
xsd:integer
1062673993
rdf:langString
الجملة الذرية (بالإنجليزية: Atomic sentence) هي جملة تُستخدم في الفلسفة المنطقية والتحليلية وهي نوع من الجمل الصريحة التي قد تحمل الخطأ أو الصواب؛ تتميز الجملة الذرية بأنّها غير قابلة للتجزئة ولا يمكن تبسيطها. مثلاً جملة الكلب يركض هي جملة ذرية، في حين الكلب يركض والقطة تهرب في اللغة الطبيعية. من وجهة نظر التحليل المنطقي تُحدد حقيقة أو زيف الجملة بشكل عام من خلال شيئين: الشكل المنطقي للجملة وصدق أو زيف جملها البسيطة. وهذا يعني على سبيل المثال أن حقيقة الجملة يوحنا يوناني ويوحنا سعيد هي دالة في معنى "و"، وأن قيم الحقيقة في الجملتين الذريتين يوحنا يوناني و يوحنا إنّه سعيد. برغم ذلك فإن حقيقة أو خطأ الجملة الذرية ليست مسألة محتواة في نطاق المنطق نفسه فهي يمكن أن تكون صحيحة أو خاطئة تبعاً لموضوعها. طوّر المنطق لغات اصطناعية مثل حساب القضايا ومنطق الرتبة الأولى، جزئياً بهدف الكشف عن المنطق الكامن وراء عبارات اللغة الطبيعية والتي قد تخفي قواعدها الأساسية في هذه اللغات الاصطناعية. الجملة الذرية هي سلسلة من الرموز التي يمكن أن تمثل جملة أولية في لغة طبيعية، ويمكن تعريفها على النحو التالي: في اللغة الرسمية الصيغة جيدة التكوين (بالإنجليزية: Well-formed formula) (أو اختصاراً wff) عبارة عن سلسلة من الرموز تتكون وفقًا لقواعد النحو في اللغة. المصطلح هو متغير ثابت فردي، أو حرف الرتبة الأولى. الصيغة الذرية هي wff تتكون إما من حرف مرسل أو حرف مسند من مكان متبوعاً بمصطلح مسند.الجملة الذرية هي صيغة ذرية لا تحتوي على متغيرات. ويترتب على ذلك أن الجملة الذرية لا تحتوي على روابط منطقية أو متغيرات أو محددات كمية. بينما الجملة التي تتكون من جملة واحدة أو أكثر والرابط المنطقي عبارة عن جملة مركبة (أو جزيئية) لا تكون جملة ذرية.
rdf:langString
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.
rdf:langString
En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras que "El cachorro corrió y el gato se escondió" es una sentencia molecular en lenguaje natural. A partir de un análisis lógico, la verdad o falsedad de sentencias, en general, es determinada solo por dos cosas: la forma lógica de la sentencia y de la verdad o falsedad de sus sentencias simples. Eso quiere decir, por ejemplo, que la verdad de la sentencia "Juan es griego y Juan es feliz" es una función del significado de "y", y de los valores de verdad de las sentencias atómicas "Juan es griego" y "Juan es feliz ". Sin embargo, la verdad o falsedad de una sentencia atómica no es una cuestión que está dentro del escopo de la lógica en sí, pero sí, sobre que arte o ciencia el contenido de la sentencia atómica está hablando. La lógica ha desarrollado lenguajes artificiales. Por ejemplo, la lógica proposicional y lógica de primer orden parten de la finalidad de revelar la lógica subyacente de los enunciados del lenguaje natural. La gramática superficial de esas declaraciones puede ocultar la estructura lógica subyacente; véase Filosofía analítica. En esas lenguas artificiales una sentencia atómica es una secuencia de símbolos que pueden representar una sentencia elemental en un lenguaje natural, y puede ser definida de la maneras presentadas abajo. En un lenguaje formal, una fórmula bien formada (o fbf) es una secuencia de símbolos constituida en conformidad con las reglas de la sintaxis del lenguaje. Un término es una variable, una constante individual o una función n-ária seguida por n términos. Una fórmula atómica es una fbf compuesta por una letra sentencial o una letra de predicado n-ária seguido por n términos. Una sentencia es una fbf en la cual las variables están vinculadas. Una sentencia atómica es una fórmula atómica que no contiene variables. Como resultado, una sentencia atómica no contiene conectivos lógicos, variables o cuantificadores. Una sentencia constituida por una o más sentencias y un conectivo lógico es una compuesta (o sentencia molecular).
rdf:langString
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples. Por exemplo, "O cachorro correu" é uma sentença atômica em linguagem natural, enquanto que "O cachorro correu e o gato se escondeu" é uma sentença molecular em linguagem natural. A partir de uma análise lógica, a verdade ou falsidade de sentenças, em geral, é determinada por apenas duas coisas: a forma lógica da sentença e da verdade ou falsidade das suas sentenças simples. Isso quer dizer, por exemplo, que a verdade da sentença "João é grego e João é feliz" é uma função do significado de "e", e dos valores verdade das sentenças atômicas "João é grego" e "João é feliz ". No entanto, a verdade ou falsidade de uma sentença atômica não é uma questão que está dentro do escopo da lógica em si, mas sim, sobre que arte ou ciência o conteúdo da sentença atômica está falando. A lógica tem desenvolvido linguagens artificiais. Por exemplo, cálculo sentencial e cálculo de predicados partem da finalidade de revelar a lógica subjacente dos enunciados das linguagens naturais. A gramática superficial dessas declarações pode ocultar a estrutura lógica subjacente; veja Filosofía Analítica. Nessas línguas artificiais uma sentença atômica é uma sequência de símbolos que podem representar uma sentença elementar em uma linguagem natural, e pode ser definida da maneiras apresentadas abaixo. Em uma linguagem formal, uma fórmula bem formada (ou fbf) é uma sequência de símbolos constituída em conformidade com as regras da sintaxe da linguagem. Um termo é uma variável, uma constante individual ou uma função n-ária seguida por n termos. Uma fórmula atômica é uma fbf composta por uma letra sentencial ou uma letra de predicado n-ária seguida por n termos. Uma sentença é uma fbf na qual as variáveis estão vinculadas. Uma sentença atômica é uma fórmula atômica que não contém variáveis. Como resultado, uma sentença atômica não contém conectivos lógicos, variáveis ou quantificadores. Uma sentença constituída por uma ou mais sentenças e um conectivo lógico torna-se uma composta (ou sentença molecular).
rdf:langString
En atomär sats (av gr. atomos, odelbar) är inom logik ett påstående eller en sats som inte kan delas upp i andra, enklare påståenden eller satser. Det naturliga språkets motsvarighet till atomära satser är enkla påståenden om sakförhållanden, t.ex. "hunden springer" eller "det regnar". De satser som inte är atomära kallas molekylära satser. Dessa består av satser (atomära eller molekylära) som är sammanbunda med satslogiska konnektiv. Ett exempel på en molekylär sats i det naturliga språket är "hunden springer och Sokrates är filosof".
rdf:langString
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：
* p
* M(a)
* P2(b,a,c) 但下列不是原子句子（因为有自由变量的出现）：
* M(x)
* T(a,z)
* P2(x,y,z)
xsd:nonNegativeInteger
9404