False (logic) (original) (raw)
في المنطق، الخاطئ أو غير الصائب هو حالة من انعدام الحقيقة تُطلق على تقرير منطقي وتصفه باحتواء قيمة صواب سالبة. في الأنظمة المنطقية ، تُعتبر الصِّحة والخطأ من قيم الصواب المُسلَّمة. ويُرمز إليه غالباً بالعدد صفر 0 (على وجه الخصوص في علم الحاسوب وجبر بول).
| Property | Value |
|---|---|
| dbo:abstract | في المنطق، الخاطئ أو غير الصائب هو حالة من انعدام الحقيقة تُطلق على تقرير منطقي وتصفه باحتواء قيمة صواب سالبة. في الأنظمة المنطقية ، تُعتبر الصِّحة والخطأ من قيم الصواب المُسلَّمة. ويُرمز إليه غالباً بالعدد صفر 0 (على وجه الخصوص في علم الحاسوب وجبر بول). (ar) In logic, false or untrue is the state of possessing negative truth value or a nullary logical connective. In a truth-functional system of propositional logic, it is one of two postulated truth values, along with its negation, truth. Usual notations of the false are 0 (especially in Boolean logic and computer science), O (in prefix notation, Opq), and the up tack symbol . Another approach is used for several formal theories (e.g., intuitionistic propositional calculus), where a propositional constant (i.e. a nullary connective), , is introduced, the truth value of which being always false in the sense above. It can be treated as an absurd proposition, and is often called absurdity. (en) En Lógica, falso o no veraz es el estado de poseer un valor verdadero negativo o una conectividad lógica nula. En un sistema lógico proposicional de verdad-funcional es uno de los dos valores verdaderos propuestos, junto a su negación, la verdad. Las anotaciones usuales de falso son 0 (especialmente en el Álgebra de Boole y en ciencia de computadores), O (en notación polaca, Opq) y el símbolo de la tachuela ⊥. Otro uso es el de varias teorías formales (por ejemplo, cálculo de lógica intuicionista) donde una constante proposicional (ej. un conectivo nulo, ⊥) es introducida y cuyo valor de la verdad es siempre falso. Esto puede tratarse como una proposición absurda y suele llamarse absurdidad. (es) ( 다른 뜻에 대해서는 거짓말 문서를 참고하십시오.) 거짓 또는 참이 아님(untrue)은 논리학에서 부정적인 진릿값 또는 가치가 없는 논리 연결자이다. 명제 논리의 체계에서는 부정인 과 함께 2개의 상정된 진릿값 가운데 하나이다.거짓의 일반적 표기로는 숫자 0(특히 불 논리와 컴퓨터 과학에서), O(접두 부호 표현법에서 Opq), 업택(up tack) 기호 가 있다. (ko) Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário. Em um sistema de proposição lógica de funções verdade, isso é, o valor falso é um do dois postulados dos valores verdade, junto com a sua negação, verdade lógica. Notações geralmente usadas são 0 (especialmente na Lógica Booleana e na ciência da computação), O (na Notação Pré-fixada, Opq) e para o simbolo de falsidade ⊥. Outra abordagem é usada para várias teorias formais (como por exemplo, a Lógica Intuicionística), onde o falso é uma constante proposicional (ou seja, um conectivo nulário) ⊥, o valor de verdade dessa constante é sempre falso no sentido acima. (pt) |
| dbo:wikiPageID | 229823 (xsd:integer) |
| dbo:wikiPageLength | 5488 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1098911098 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Propositional_calculus dbr:Boolean_Logic dbr:Intuitionistic_logic dbr:0_(number) dbr:Material_conditional dbr:Negation dbc:Logical_connectives dbr:Contradiction dbr:Theorem dbr:Logic dbr:Computer_science dbr:Polish_notation dbr:Proposition dbr:Statement_(logic) dbr:Up_tack dbr:Truth_function dbr:Truth_table dbr:Truth_value dbr:Logical_truth dbr:Entailment dbr:Logical_connective dbr:Tautology_(logic) dbr:Latin dbr:Theory_(mathematical_logic) dbr:Classical_logic dbr:Principle_of_explosion dbr:Intuitionistic_propositional_calculus dbr:Boolean_logic dbr:Nullary dbr:Wikt:falsum dbr:Wikt:propositional_constant |
| dbp:wikiPageUsesTemplate | dbt:Expand_section dbt:Main dbt:Math dbt:Mvar dbt:Refimprove dbt:Reflist dbt:See_also dbt:Short_description dbt:Wikiquote dbt:Common_logical_symbols dbt:Logical_truth dbt:Logical_connectives |
| dct:subject | dbc:Logical_connectives |
| gold:hypernym | dbr:Value |
| rdf:type | owl:Thing dbo:Company yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 |
| rdfs:comment | في المنطق، الخاطئ أو غير الصائب هو حالة من انعدام الحقيقة تُطلق على تقرير منطقي وتصفه باحتواء قيمة صواب سالبة. في الأنظمة المنطقية ، تُعتبر الصِّحة والخطأ من قيم الصواب المُسلَّمة. ويُرمز إليه غالباً بالعدد صفر 0 (على وجه الخصوص في علم الحاسوب وجبر بول). (ar) ( 다른 뜻에 대해서는 거짓말 문서를 참고하십시오.) 거짓 또는 참이 아님(untrue)은 논리학에서 부정적인 진릿값 또는 가치가 없는 논리 연결자이다. 명제 논리의 체계에서는 부정인 과 함께 2개의 상정된 진릿값 가운데 하나이다.거짓의 일반적 표기로는 숫자 0(특히 불 논리와 컴퓨터 과학에서), O(접두 부호 표현법에서 Opq), 업택(up tack) 기호 가 있다. (ko) In logic, false or untrue is the state of possessing negative truth value or a nullary logical connective. In a truth-functional system of propositional logic, it is one of two postulated truth values, along with its negation, truth. Usual notations of the false are 0 (especially in Boolean logic and computer science), O (in prefix notation, Opq), and the up tack symbol . (en) En Lógica, falso o no veraz es el estado de poseer un valor verdadero negativo o una conectividad lógica nula. En un sistema lógico proposicional de verdad-funcional es uno de los dos valores verdaderos propuestos, junto a su negación, la verdad. Las anotaciones usuales de falso son 0 (especialmente en el Álgebra de Boole y en ciencia de computadores), O (en notación polaca, Opq) y el símbolo de la tachuela ⊥. (es) Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário. Em um sistema de proposição lógica de funções verdade, isso é, o valor falso é um do dois postulados dos valores verdade, junto com a sua negação, verdade lógica. Notações geralmente usadas são 0 (especialmente na Lógica Booleana e na ciência da computação), O (na Notação Pré-fixada, Opq) e para o simbolo de falsidade ⊥. (pt) |
| rdfs:label | خاطئ (ar) Falso (lógica) (es) False (logic) (en) 거짓 (ko) Falso (lógica) (pt) |
| rdfs:seeAlso | dbr:Falsity |
| owl:sameAs | freebase:False (logic) yago-res:False (logic) wikidata:False (logic) dbpedia-ar:False (logic) http://ckb.dbpedia.org/resource/زڕ_(لۆژیک) dbpedia-es:False (logic) dbpedia-et:False (logic) dbpedia-fa:False (logic) dbpedia-ko:False (logic) dbpedia-pt:False (logic) dbpedia-sh:False (logic) dbpedia-simple:False (logic) dbpedia-sr:False (logic) dbpedia-tr:False (logic) https://global.dbpedia.org/id/4jyh3 |
| prov:wasDerivedFrom | wikipedia-en:False_(logic)?oldid=1098911098&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:False_(logic) |
| is dbo:wikiPageDisambiguates of | dbr:False |
| is dbo:wikiPageRedirects of | dbr:Falla≠yycy dbr:Logical_falsity |
| is dbo:wikiPageWikiLink of | dbr:Propositional_calculus dbr:Pseudoscience dbr:Universal_quantification dbr:Semigroup_with_two_elements dbr:Principle_of_bivalence dbr:Bernoulli_distribution dbr:DIKW_pyramid dbr:Validity_(logic) dbr:Dead-code_elimination dbr:Truth-bearer dbr:Material_conditional dbr:Negation dbr:Empty_string dbr:Glossary_of_engineering:_A–L dbr:Glossary_of_philosophy dbr:Glossary_of_set_theory dbr:Contradiction dbr:Completeness_(logic) dbr:Computation_tree_logic dbr:Proposition dbr:Statement_(logic) dbr:Up_tack dbr:Truth_function dbr:Truth_value dbr:Do_while_loop dbr:False dbr:Logical_truth dbr:Propositional_function dbr:Data_type dbr:Errol_Harris dbr:First-order_logic dbr:Glossary_of_education_terms_(A–C) dbr:Logical_connective dbr:Logical_constant dbr:Logical_equality dbr:Reason dbr:Tautology_(logic) dbr:Term_(logic) dbr:Aaron_Lynch_(writer) dbr:Józef_Maria_Bocheński dbr:While_loop dbr:Boolean-valued_function dbr:Implicational_propositional_calculus dbr:Sequent dbr:Principle_of_explosion dbr:Vector_logic dbr:Falla≠yycy dbr:Logical_falsity |
| is foaf:primaryTopic of | wikipedia-en:False_(logic) |