HTML Microdata document

This HTML5 document contains 376 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
dbt	http://dbpedia.org/resource/Template:
dbpedia-el	http://el.dbpedia.org/resource/
n52	http://us.metamath.org/mpegif/
dbpedia-cy	http://cy.dbpedia.org/resource/
dbpedia-no	http://no.dbpedia.org/resource/
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-bg	http://bg.dbpedia.org/resource/
dbpedia-fi	http://fi.dbpedia.org/resource/
n28	http://hy.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
dbpedia-et	http://et.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
n69	http://
dbpedia-fr	http://fr.dbpedia.org/resource/
n58	http://ky.dbpedia.org/resource/
n27	https://www.nayuki.io/page/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-cs	http://cs.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n51	http://d-nb.info/gnd/
n65	http://www.iep.utm.edu/p/
dbp	http://dbpedia.org/property/
dbpedia-eu	http://eu.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-id	http://id.dbpedia.org/resource/
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-la	http://la.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-vi	http://vi.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-sk	http://sk.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
n6	http://www.fecundity.com/logic/
dbc	http://dbpedia.org/resource/Category:
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-th	http://th.dbpedia.org/resource/
dbpedia-ru	http://ru.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
dbpedia-af	http://af.dbpedia.org/resource/
n55	https://global.dbpedia.org/id/
n12	http://www.qedeq.org/current/doc/math/
n22	http://logicinaction.org/docs/
dbpedia-sl	http://sl.dbpedia.org/resource/
n31	http://sw.cyc.com/concept/
n39	http://hi.dbpedia.org/resource/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
n17	http://ast.dbpedia.org/resource/
dbpedia-nn	http://nn.dbpedia.org/resource/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-simple	http://simple.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
n68	http://lt.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-be	http://be.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-tr	http://tr.dbpedia.org/resource/
dbpedia-gl	http://gl.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
n60	https://docs.google.com/document/d/1DhtRAPcMwJmiQnbdmFcHWaOddQ7kuqqDnWp2LZcGlnY/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item: dbr:Propositional_calculus
rdf:type: owl:Thing
rdfs:label: Calcul des propositions 명제 논리 حساب القضايا Lògica proposicional Satslogik Propositional calculus Kalkulus proposisional Rachunek zdań Aussagenlogik Lógica proposicional Числення висловлень Logika proposizional Lógica proposicional Προτασιακός λογισμός Propositielogica 命题逻辑 Výroková logika 命題論理 Логика высказываний Logica proposizionale
rdfs:comment: Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser. I vardagsspråket används en mängd olika ord för att sammanbinda ("connect") satser. Dessa ord kallas konnektiv. I satslogiken är konnektiven väldefinierade och de fem, som företrädesvis används är: icke, och, eller, om... så... och om och endast om. Symbolerna för dessa uttryck är respektive och . Satslogiken har formaliserats till algebraisk kalkyl i den Booleska algebran. Логика высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний, также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat. Les seves constants lògiques, anomenades connectives lògiques, representen operacions sobre proposicions, capaces de formar altres proposicions de complexitat superior. Kalkulus proposisional adalah sistem formal untuk menyatakan dan membuktikannya dengan cara menggabungkan dan operator logika. Beberapa contoh operator logika adalah: * (negasi) * (konjungsi) * (disjungsi) * (implikasi) * (ekuivalensi) Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions. Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal. A linguagem de um cálculo proposicional consiste em: Uma fórmula bem formada (fbf) é qualquer fórmula atômica ou qualquer fórmula que pode ser construída a partir de fórmulas atômicas, usando conectivos de acordo com as regras da gramática. De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities. Proposities zijn uitspraken of beweringen die ofwel waar, ofwel onwaar zijn. Voorbeelden hiervan zijn De Winkler Prins is een encyclopedie en Wicky heeft een noormannenhelm op. In de propositielogica kunnen uitspraken alleen waar of onwaar zijn, dit in tegenstelling tot meerwaardige logica's waarbij uitspraken ook andere waarden kunnen hebben. In vergelijking met andere types van logica is de propositielogica eenvoudig van opbouw (structuur, grammatica) maar beperkt in uitdrukkingsmogelijkheid. Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu. Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. 命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。 في الرياضيات والمنطق، حساب القضايا (بالإنجليزية: propositional calculus)‏ هو نظام يتم فيه تمثيل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تتم بواسطته برهنة نظريات منطقية. V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky). Výroková logika je, stejně jako fuzzy logika, podoborem matematické logiky. Výroková logika se skládá ze * - určují, kdy je formule správně utvořená, * odvozovacích pravidel - určují, jak z jedněch formulí správně odvozovat další stále validní důsledkové formule, * (nejvýše spočetné) množiny axiomů a axiomatických schémat. La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi. Data una interpretazione (o modello) di una proposizione (in generale di un insieme di proposizioni), e cioè una associazione tra le proposizioni elementari e le realtà rappresentate, possiamo generare un insieme infinito di Logika proposizionala, proposizioak eta horiek lotzen dituzten lokailuak osagaitzat hartzen dituen bat da. Logika proposizionalean "hizkuntza" edo proposizio konplexuak, proposizioak beraien artean lokailuen bitartez lotuz osatzen da. Premisa izeneko proposizio multzo batetik logikaz erator daitekeen ondoriozko proposiziora heltzea du helburu logika proposizionalak. Logika-sistema guztiak bezalaxe, logika proposizionalak ez du aztertzen proposizio bat errealitatean egiazkoa edo faltsua den, beste proposizioetatik deduzitzeko baliatu den prozesu logikoa edo argumentua zuzena den baizik. Logika proposizionala XIX. mendearen amaieran asmatu zuen Charles Sanders Peirce filosofoak eta XX. mendearen hasieran Ludwig Wittgenstein filosofoak osatu zuen, liburuan. 명제 논리(命題論理, 영어: propositional logic)는 내부 구조가 없는 명제에 논리합이나 부정 따위의 논리 연산을 가하여 구성한 명제들을 다루는 논리 체계이다.:30, Chapter 3 Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik wird jeder Aussage ein Element einer Booleschen Algebra als Wahrheitswert zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen mittels der Operationen der Booleschen Algebra aus den Wahrheitswerten ihrer Teilaussagen bestimmen. 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。 Προτασιακός λογισμός (ή αλλιώς προτασιακή λογική) είναι ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις (αν είναι αληθείς ή ψευδείς) που σχηματίζονται από άλλες προτάσεις με τη χρήση των , και το πώς η αληθοτιμή των πρώτων εξαρτάται από εκείνη των τελευταίων. Οι λογικοί σύνδεσμοι βρίσκονται επίσης και στις φυσικές γλώσσες. Στην ελληνική γλώσσα, για παράδειγμα, έχουμε τους λογικούς συνδέσμους «και», «ή» (διάζευξη), «όχι» και «αν» (αλλά μόνο όταν χρησιμοποιείται με την έννοια της λογικής συνεπαγωγής). Προκείμενη 1: Αν βρέχει, τότε έχει συννεφιά Προκείμενη 2: Βρέχει. Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, англ. propositional calculus) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи. La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
owl:differentFrom: dbr:Propositional_analysis
dcterms:subject: dbc:Propositional_calculus dbc:Analytic_philosophy dbc:Logical_calculi dbc:Systems_of_formal_logic dbc:Classical_logic dbc:Boolean_algebra
dbo:wikiPageID: 18154
dbo:wikiPageRevisionID: 1124890534
dbo:wikiPageWikiLink: dbr:Chen_Chung_Chang dbr:Argument dbr:Admissible_rule dbr:Logically_valid dbr:Combinatory_logic dbr:Truth-table dbr:Valuation_(logic) dbr:Mathematical_logic dbr:Walter_Burley dbc:Analytic_philosophy dbr:Proof_by_cases dbr:Predicate_logic dbr:Truth-functional dbr:Equational_logic dbr:Second-order_propositional_logic dbr:Cardinality_of_the_continuum dbr:Hypothetical_Syllogism dbr:Stoic_logic dbr:Consistency dbr:Partition_of_a_set dbc:Propositional_calculus dbr:Ernst_Schröder_(mathematician) dbr:Tautology_(logic) dbr:Double_negation dbr:Mathematical_model dbr:Metalanguage dbr:Basic_Books dbr:Clarence_Irving_Lewis dbr:Implicational_propositional_calculus dbr:Transposition_(logic) dbr:Function_(mathematics) dbr:Tautology_(rule_of_inference) dbr:Boolean_algebra_(logic) dbr:Atomic_formula dbr:Meta-theorem dbr:Predicate_(logic) dbr:Well-formed_formula dbr:Principle_of_bivalence dbr:Joachim_Lambek dbr:Material_conditional dbr:Gerhard_Gentzen dbr:John_Venn dbr:Negation_elimination dbr:SMT_solver dbr:Contraposition dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Logical_disjunction dbr:Disjunctive_syllogism dbr:Rule_of_inference dbr:Operation_(mathematics) dbr:Chaff_algorithm dbr:Denumerably_infinite dbr:Functionally_complete dbr:Intuitionistic_logic dbr:DPLL_algorithm dbr:Set_theory dbr:SAT_solver dbr:Heyting_algebra dbr:Gottlob_Frege dbr:Quantifier_(logic) dbr:List_of_logic_symbols dbr:Possible_world dbr:Internet_Encyclopedia_of_Philosophy dbr:Stoics dbr:Chrysippus dbr:Closure_(mathematics) dbr:Second-order_logic dbr:Conceptual_graph dbr:Distributive_property dbr:Augustus_De_Morgan dbr:Arity dbr:Jean_Buridan dbr:Intuitionistic_propositional_calculus dbc:Logical_calculi dbr:State_of_affairs_(philosophy) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Peter_Abelard dbr:Isomorphism dbr:Peter_of_Spain_(author) dbr:Kevin_C._Klement dbr:Substitution_instance dbr:Sole_sufficient_operator dbr:Robert_R._Korfhage dbr:NP-complete dbr:Frege's_propositional_calculus dbr:Calculus_ratiocinator dbr:Categorical_logic dbr:Binary_relation dbr:Higher-order_logic dbr:False_(logic) dbr:Material_equivalence dbr:Semantics dbr:Constructive_dilemma dbr:Double_negation_elimination dbc:Systems_of_formal_logic dbr:De_Morgan's_laws dbr:Laws_of_Form dbr:Modus_ponens dbr:Singular_term dbr:Formula_(mathematical_logic) dbr:Zeroth-order_logic dbr:Alfred_North_Whitehead dbr:Gottfried_Leibniz dbr:Symmetric_difference dbr:Boolean_algebra_topics dbr:Many-valued_logic dbr:Logical_connective dbr:Logical_consequence dbr:Symbolic_logic dbr:Boolean_algebra_(structure) dbr:Soundness dbr:Boolean_domain dbr:Boolean_function dbr:Metamath dbr:Boolean-valued_function dbr:ZFC dbr:Ampersand dbr:Logic dbr:Tilde dbr:Charles_Sanders_Peirce dbr:Logical_equivalence dbr:Axioms dbr:Arithmetic_expression dbr:Natural_deduction_system dbr:Logical_conjunction dbr:George_Boole dbr:Exportation_(logic) dbr:Completeness_(logic) dbr:Order_type dbr:Category_(mathematics) dbr:Logical_NOR dbr:Sequent_calculus dbr:Law_of_excluded_middle dbr:Deductive_system dbr:Negation dbr:Proposition dbr:Logical_operator dbr:Law_of_noncontradiction dbr:Existential_graph dbr:Logical_value dbr:William_Stanley_Jevons dbr:Turnstile_(symbol) dbr:Inclusive_disjunction dbr:Hypothetical_syllogism dbr:Theorem dbr:Parse_graph dbr:P.D._Magnus dbr:Material_implication_(rule_of_inference) dbr:Truth dbr:Truth_tables dbr:Paul_of_Venice dbr:Variable_(mathematics) dbr:Jan_Łukasiewicz dbr:Conjunction_elimination dbr:Pointer_structure dbr:Conjunction_introduction dbr:First-order_logic dbr:Mereology dbr:Propositional_variable dbr:Associative_property dbr:Hilbert_system dbr:Sheffer_stroke dbr:Logical_graph dbr:Method_of_analytic_tableaux dbr:Negation_introduction dbr:Hilbert-style_deduction_system dbr:Deduction_theorem dbr:Hilbert-style_deductive_system dbr:Modus_Ponens dbr:Modus_Tollens dbr:Entailment dbr:Commutative_property dbr:Formal_grammar dbr:Metatheory dbr:Formal_language dbr:Bertrand_Russell dbr:Propositional_calculus dbr:Destructive_dilemma dbr:Conditional_proof dbr:Interpretation_(logic) dbr:Propositional_formula dbr:Propositions dbr:Logical_truth dbr:Truth_function dbc:Classical_logic dbr:Proof_theory dbr:Syllogism dbr:Syllogisms dbr:Graph_traversal dbr:Formal_proof dbr:William_of_Sherwood dbr:Formal_system dbr:Axiom dbr:Ludwig_Wittgenstein dbr:Entitative_graph dbr:Inference_rule dbr:Latin dbr:Parsing dbr:Combinational_logic dbr:Emil_Post dbr:Modal_logic dbr:Peirce's_law dbr:Gödel,_Escher,_Bach dbr:Howard_Jerome_Keisler dbr:Assignment_(mathematical_logic) dbr:Arithmetic dbr:Inductive_definition dbr:Graph_(discrete_mathematics) dbr:Axiom_schema dbr:Natural_deduction dbr:Truth_table dbr:Truth_value dbc:Boolean_algebra dbr:Exclusive_disjunction dbr:Evert_Willem_Beth dbr:Term_logic dbr:Logical_system dbr:If_and_only_if
dbo:wikiPageExternalLink: n6: n12:qedeq_formal_logic_v1_en.pdf n22:ch2.pdf n27:propositional-sequent-calculus-prover n52:mmset.html%23scaxioms n60:edit%3Fusp=sharing n65:prop-log.htm n69:logicinaction.org
owl:sameAs: dbpedia-cy:Rhesymeg_osodiadol dbpedia-el:Προτασιακός_λογισμός dbpedia-zh:命题逻辑 dbpedia-no:Setningslogikk dbpedia-uk:Числення_висловлень n17:Lóxica_proposicional wikidata:Q200694 dbpedia-sl:Propozicijska_logika dbpedia-gl:Lóxica_proposicional dbpedia-sr:Исказни_рачун dbpedia-hu:Ítéletlogika dbpedia-vi:Mệnh_đề_toán_học n28:Ասույթների_տրամաբանություն dbpedia-af:Proposisionele_logika dbpedia-he:תחשיב_הפסוקים n31:Mx4rwIFo-5wpEbGdrcN5Y29ycA dbpedia-cs:Výroková_logika dbpedia-it:Logica_proposizionale dbpedia-simple:Propositional_logic dbpedia-ko:명제_논리 dbpedia-ru:Логика_высказываний dbpedia-fi:Propositiologiikka dbpedia-de:Aussagenlogik n39:प्रतिज्ञप्तिक_कलन dbpedia-fr:Calcul_des_propositions dbpedia-id:Kalkulus_proposisional dbpedia-th:แคลคูลัสเชิงประพจน์ dbpedia-ja:命題論理 dbpedia-fa:حساب_گزاره‌ای dbpedia-nl:Propositielogica dbpedia-bg:Пропозиционна_логика dbpedia-ca:Lògica_proposicional freebase:m.04m3r dbpedia-et:Lauseloogika n51:4136098-9 dbpedia-eu:Logika_proposizional dbpedia-pt:Lógica_proposicional n55:v2ui dbpedia-nn:Utsegnslogikk dbpedia-pl:Rachunek_zdań n58:Логикалык_сүйлөө dbpedia-es:Lógica_proposicional dbpedia-be:Логіка_выказванняў dbpedia-ar:حساب_القضايا dbpedia-la:Logica_propositionalis dbpedia-sv:Satslogik dbpedia-tr:Önermeler_mantığı dbpedia-sk:Výroková_logika n68:Teiginių_logika
dbp:wikiPageUsesTemplate: dbt:EquationRef dbt:Transformation_rules dbt:Not_a_typo dbt:Unordered_list dbt:Authority_control dbt:Classical_logic dbt:= dbt:Ordered_list dbt:Distinguish dbt:Div_col dbt:Div_col_end dbt:Citation_needed dbt:EquationNote dbt:Paragraph dbt:Cite_book dbt:Mvar dbt:Unreferenced_section dbt:Main dbt:Formal_Fallacy dbt:Mathematical_logic dbt:Use_dmy_dates dbt:Commons_category dbt:Math dbt:Short_description dbt:Reflist dbt:Portal
dbo:abstract: V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky). Výroková logika je, stejně jako fuzzy logika, podoborem matematické logiky. Výroková logika se skládá ze * - určují, kdy je formule správně utvořená, * odvozovacích pravidel - určují, jak z jedněch formulí správně odvozovat další stále validní důsledkové formule, * (nejvýše spočetné) množiny axiomů a axiomatických schémat. Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions. Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logic is the foundation of first-order logic and higher-order logic. Logika proposizionala, proposizioak eta horiek lotzen dituzten lokailuak osagaitzat hartzen dituen bat da. Logika proposizionalean "hizkuntza" edo proposizio konplexuak, proposizioak beraien artean lokailuen bitartez lotuz osatzen da. Premisa izeneko proposizio multzo batetik logikaz erator daitekeen ondoriozko proposiziora heltzea du helburu logika proposizionalak. Logika-sistema guztiak bezalaxe, logika proposizionalak ez du aztertzen proposizio bat errealitatean egiazkoa edo faltsua den, beste proposizioetatik deduzitzeko baliatu den prozesu logikoa edo argumentua zuzena den baizik. Logika proposizionala XIX. mendearen amaieran asmatu zuen Charles Sanders Peirce filosofoak eta XX. mendearen hasieran Ludwig Wittgenstein filosofoak osatu zuen, liburuan. Zehatzago, logika proposizionalak proposizio atomiko edo bakunak egiazkoak edo faltsuak diren hartzen du kontuan, ondoren egia-taula izenekoen bitartez proposizio konplexuen egia-balioa aztertzeko: proposizio bakunen egia-balio guztietarako proposizio konplexua egia bada, proposizio konplexua tautologia dela esaten da; proposizio bakunen egia-balio guztietarako proposizio konplexua faltsua bada, kontraesana izango da eta proposizio konplexuaren egia-balioa batzuetan egia eta beste batzuetan faltsua bada, orduan argumentua sendoa da kasu batzuetan. Aldi berean, logika proposizionalak inferentzia edo argumentuak deduzitzeko erregelak ematen ditu, proposizio bakun edo konplexuen multzo batetik deduzituz: premisak (proposizio atomikoak edo konposatuak) egiazkoak direnean, ondorioa egiazkoa bada, argumentua zuzena izango da. honetan bereizten da, logika proposizionala proposizio atomikoak egia eta gezurra izateko modu ezberdinak zehazten dituen arren, erabiltzen diren inferentzia aurauen arabera, logika modala egia modalitate ezberdinetik lan egiten du, egia absolutua, eta egia erlatiboa. Logika proposizionalak proposizio konplexuei egia eta faltsua balioez gainera, tarteko balioak ere esleitzen dizkio, inferentzia arauek proposizio atomikoen modu ezberdinak garatzen dituztenean. Adibidez, "Jon altua da" eta "altuek azterketa aprobatzen dute" proposizio atomikoek egiazkoak dira, baina subjektiboak, eta horrela proposizio konplexua eratzean logika proposizionalak, tarteko balioak izango ditu, "Jon altua da eta azterketa aprobatuko du" propiszioak probabilitate bat izan dezakeelako egia izateko. 命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。 Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser. Att det satslogiska systemet är formellt, innebär att dess teori, regler och definitioner inte hänvisar till symbolernas eller de språkliga uttryckens betydelser, utan endast till relationer mellan de symboler av vilka de språkliga uttrycken är uppbyggda. Satslogikens logiska syntax innehåller en systematisk framställning av giltiga slutledningsregler.Till grundläggarna av den formella logiken, särskilt satslogiken, räknas George Boole, Gottlob Frege och Bertrand Russell. I vardagsspråket används en mängd olika ord för att sammanbinda ("connect") satser. Dessa ord kallas konnektiv. I satslogiken är konnektiven väldefinierade och de fem, som företrädesvis används är: icke, och, eller, om... så... och om och endast om. Symbolerna för dessa uttryck är respektive och . Påståenden i form av atomära satser eller elementarsatser, betecknas med en bokstav. Den implikation, som förekommer i satslogiken och som symboliseras med tecknet, , är en så kallad materiell implikation, vars innebörd ofta missförstås. Det förtjänar att påpekas att satsen: om p så q, och som skrivs p q, inte är en implikation i den bemärkelsen att det skulle råda något logiskt eller kausalt samband mellan p och q. Den kan heller inte tolkas så, att q kan härledas från p. Att en sats materiellt implicerar en annan, betyder i satslogiken endast att det icke är så, att den första satsen är sann och den andra falsk. Emil L. Post visade att det satslogiska systemet PS med språket P är semantiskt fullständigt. Således är varje tautologi A, i språket P ett teorem i systemet PS, vilket symboliskt kan uttryckas enligt följande: Om så .. Satslogiken har formaliserats till algebraisk kalkyl i den Booleska algebran. La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi. Data una interpretazione (o modello) di una proposizione (in generale di un insieme di proposizioni), e cioè una associazione tra le proposizioni elementari e le realtà rappresentate, possiamo generare un insieme infinito di proposizioni con significato definito che riguardino quella realtà. Ciascuna proposizione si riferisce quindi a uno o più oggetti della realtà rappresentata (anche astratta, ovviamente) e permette di descrivere o ragionare su quell'oggetto, utilizzando i due soli valori "Vero" e "Falso". Kalkulus proposisional adalah sistem formal untuk menyatakan dan membuktikannya dengan cara menggabungkan dan operator logika. Beberapa contoh operator logika adalah: * (negasi) * (konjungsi) * (disjungsi) * (implikasi) * (ekuivalensi) Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik wird jeder Aussage ein Element einer Booleschen Algebra als Wahrheitswert zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen mittels der Operationen der Booleschen Algebra aus den Wahrheitswerten ihrer Teilaussagen bestimmen. La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto, cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla. Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal. Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintáticas (fórmulas bem formadas, ou fbfs), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões. Quando o sistema formal tem o propósito de ser um sistema lógico, as expressões devem ser interpretadas como asserções matemáticas, e as regras, conhecidas como regras de inferência, normalmente são preservadoras da verdade. Nessa configuração, as regras (que podem incluir axiomas) podem então ser usadas para derivar "inferir" fórmulas representando asserções verdadeiras. O conjunto de axiomas pode ser vazio, um conjunto finito não vazio, um conjunto finito enumerável, ou pode ser dado por axiomas esquemáticos. Uma gramática formal define recursivamente as expressões e fórmulas bem formadas (fbfs) da linguagem. Além disso, pode se apresentar uma semântica para definir verdade e valorações (ou interpretações). A linguagem de um cálculo proposicional consiste em: 1. * um conjunto de símbolos primitivos, definidos como fórmulas atômicas, proposições atômicas, ou variáveis, e 2. * um conjunto de operadores, interpretados como operadores lógicos ou conectivos lógicos. Uma fórmula bem formada (fbf) é qualquer fórmula atômica ou qualquer fórmula que pode ser construída a partir de fórmulas atômicas, usando conectivos de acordo com as regras da gramática. O que segue define um cálculo proposicional padrão. Existem muitas formulações diferentes as quais são todas mais ou menos equivalentes mas que diferem nos detalhes: 1. * de sua linguagem, que é a coleção particular de símbolos primitivos e operadores, 2. * do conjunto de axiomas, ou fórmulas distinguidas, e 3. * do conjunto de regras de inferência. 명제 논리(命題論理, 영어: propositional logic)는 내부 구조가 없는 명제에 논리합이나 부정 따위의 논리 연산을 가하여 구성한 명제들을 다루는 논리 체계이다.:30, Chapter 3 Προτασιακός λογισμός (ή αλλιώς προτασιακή λογική) είναι ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις (αν είναι αληθείς ή ψευδείς) που σχηματίζονται από άλλες προτάσεις με τη χρήση των , και το πώς η αληθοτιμή των πρώτων εξαρτάται από εκείνη των τελευταίων. Οι λογικοί σύνδεσμοι βρίσκονται επίσης και στις φυσικές γλώσσες. Στην ελληνική γλώσσα, για παράδειγμα, έχουμε τους λογικούς συνδέσμους «και», «ή» (διάζευξη), «όχι» και «αν» (αλλά μόνο όταν χρησιμοποιείται με την έννοια της λογικής συνεπαγωγής). Το ακόλουθο είναι ένα παράδειγμα ενός πολύ απλού συμπερασμού που εμπίπτει στο πεδίο εφαρμογής της προτασιακής λογικής: Προκείμενη 1: Αν βρέχει, τότε έχει συννεφιά Προκείμενη 2: Βρέχει. Συμπέρασμα: Έχει συννεφιά. Και οι δύο προκείμενες, όπως και το συμπέρασμα είναι λογικές προτάσεις. Οι προκείμενες θεωρούνται δεδομένες και, στη συνέχεια, με την εφαρμογή του (ένας ) συνάγεται το συμπέρασμα. Καθώς όμως η προτασιακή λογική δεν ασχολείται με τη δομή των προτάσεων πέρα από όσο μπορούν να αναλυθούν μέσω των λογικών συνδέσμων, ο παραπάνω συμπερασμός μπορεί να επαναδιατυπωθεί αντικαθιστώντας τις προηγούμενες ατομικές προτάσεις με συγκεκριμένα σύμβολα («προτασιακές μεταβλητές») που τις αντιπροσωπεύουν: Προκείμενη 1: Προκείμενη 2: Συμπέρασμα: Το ίδιο μπορεί να παρασταθεί συμβολικά με τον ακόλουθο τρόπο: Όταν το Ρ ερμηνεύεται ως «Βρέχει» και το Q ως «έχει συννεφιά» οι παραπάνω συμβολικές εκφράσεις μπορεί να θεωρηθούν ότι αντιστοιχούν ακριβώς στην αρχική έκφραση σε φυσική γλώσσα. Όχι μόνο αυτό, αλλά θα αντιστοιχούν επίσης και σε οποιοδήποτε άλλο συμπερασμό αυτής της μορφής, ο οποίος θα είναι έγκυρος κατά τον ίδιο τρόπο. Η προτασιακή λογική μπορεί να μελετηθεί μέσω ενός τυπικού συστήματος στο οποίο τής αντίστοιχης τυπικής γλώσσας μπορούν να ερμηνευθούν ως προτάσεις μίας φυσικής γλώσσας. Ένα σύστημα κανόνων συμπερασμού και αξιωμάτων επιτρέπει σε ορισμένους τύπους να παραχθούν. Αυτοί οι τύποι που προκύπτουν ονομάζονται θεωρήματα και μπορούν να ερμηνευθούν ως αληθείς προτάσεις. Μία κατασκευασμένη ακολουθία αυτών των τύπων είναι γνωστή ως απόδειξη ή παραγωγή και ο τελευταίος τύπος της ακολουθίας είναι το θεώρημα. Η απόδειξη αυτή μπορεί να ερμηνευθεί ως απόδειξη της πρότασης που αντιπροσωπεύεται από το θεώρημα. Όταν ένα τυπικό σύστημα που χρησιμοποιείται για να αντιπροσωπεύσει την τυπική λογική μόνο οι ατομικές προτάσεις συμβολίζονται με μεταβλητές. Οι προτάσεις σε φυσική γλώσσα που προκύπτουν όταν ερμηνευθούν είναι εκτός του συστήματος, και η σχέση μεταξύ του τυπικού συστήματος και της ερμηνείας του είναι επίσης έξω από το ίδιο το τυπικό σύστημα. Συνήθως στην προτασιακή λογική οι τύποι ερμηνεύονται ως δηλώσεις είτε αληθείς είτε ως ψευδείς· η ερμηνεία αυτή συνήθως δίνεται από μία αληθοσυνάρτηση. Αυτού του είδους η προτασιακή λογική και συστήματα ισομορφικά προς αυτή θεωρούνται ως . Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu. La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat. Les seves constants lògiques, anomenades connectives lògiques, representen operacions sobre proposicions, capaces de formar altres proposicions de complexitat superior. Les lògiques proposicionals manquen de quantificadors o de variables d'individu, però tenen (és a dir, que es poden interpretar com proposicions amb un valor de veritat definit), és per això que es diuen proposicionals. Els sistemes de lògica proposicional inclouen a més connectives lògiques, i per això dins d'aquest tipus de lògica es pot analitzar la inferència lògica de proposicions a partir de proposicions, però sense tenir en compte l'estructura interna de les proposicions més simples. Com que les lògiques proposicionals no tenen quantificadors o variables d'individu, qualsevol seqüència de signes que constitueixi una fórmula ben formada admet una valoració sobre si la proposició és verdadera o falsa depenent del valor de veritat assignat a les proposicions que la componen. Això implica que qualsevol fórmula ben formada defineix una funció proposicional. Per tant, qualsevol sistema lògic basat en la lògica proposicoinal és decible i en un nombre finit de passos es pot determinar la veritat o falsedat semàntica d'una proposició. Això fa que la lògica proposicional sigui i amb una semàntica molt senzilla. A diferència de la lògica de primer ordre, la lògica proposicional no s'ocupa d'objectes no lògics, predicats sobre ells o quantificadors. Tanmateix, tota la maquinària de la lògica proposicional s'inclou a la lògica de primer ordre i a les lògiques d'ordre superior. En aquest sentit, la lògica proposicional és el fonament de la lògica de primer ordre i de la lògica d'ordre superior. 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。 Логика высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний, также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Несмотря на свою важность и широкую сферу применения, логика высказываний является простейшей логикой и имеет очень ограниченные средства для исследования суждений. De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities. Proposities zijn uitspraken of beweringen die ofwel waar, ofwel onwaar zijn. Voorbeelden hiervan zijn De Winkler Prins is een encyclopedie en Wicky heeft een noormannenhelm op. In de propositielogica kunnen uitspraken alleen waar of onwaar zijn, dit in tegenstelling tot meerwaardige logica's waarbij uitspraken ook andere waarden kunnen hebben. In vergelijking met andere types van logica is de propositielogica eenvoudig van opbouw (structuur, grammatica) maar beperkt in uitdrukkingsmogelijkheid. في الرياضيات والمنطق، حساب القضايا (بالإنجليزية: propositional calculus)‏ هو نظام يتم فيه تمثيل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تتم بواسطته برهنة نظريات منطقية. Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, англ. propositional calculus) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи.
prov:wasDerivedFrom: wikipedia-en:Propositional_calculus?oldid=1124890534&ns=0
dbo:wikiPageLength: 88644
foaf:isPrimaryTopicOf: wikipedia-en:Propositional_calculus