| dbo:abstract
|
- 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. (ca)
- في الرياضيات والمنطق، حساب القضايا (بالإنجليزية: propositional calculus) هو نظام يتم فيه تمثيل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تتم بواسطته برهنة نظريات منطقية. (ar)
- 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. (cs)
- Προτασιακός λογισμός (ή αλλιώς προτασιακή λογική) είναι ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις (αν είναι αληθείς ή ψευδείς) που σχηματίζονται από άλλες προτάσεις με τη χρήση των , και το πώς η αληθοτιμή των πρώτων εξαρτά��αι από εκείνη των τελευταίων. Οι λογικοί σύνδεσμοι βρίσκονται επίσης και στις φυσικές γλώσσες. Στην ελληνική γλώσσα, για παράδειγμα, έχουμε τους λογικούς συνδέσμους «και», «ή» (διάζευξη), «όχι» και «αν» (αλλά μόνο όταν χρησιμοποιείται με την έννοια της λογικής συνεπαγωγής). Το ακόλουθο είναι ένα παράδειγμα ενός πολύ απλού συμπερασμού που εμπίπτει στο πεδίο εφαρμογής της προτασιακής λογικής: Προκείμενη 1: Αν βρέχει, τότε έχει συννεφιά Προκείμενη 2: Βρέχει. Συμπέρασμα: Έχει συννεφιά. Και οι δύο προκείμενες, όπως και το συμπέρασμα είναι λογικές προτάσεις. Οι προκείμενες θεωρούνται δεδομένες και, στη συνέχεια, με την εφαρμογή του (ένας ) συνάγεται το συμπέρασμα. Καθώς όμως η προτασιακή λογική δεν ασχολείται με τη δομή των προτάσεων πέρα από όσο μπορούν να αναλυθούν μέσω των λογικών συνδέσμων, ο παραπάνω συμπερασμός μπορεί να επαναδιατυπωθεί αντικαθιστώντας τις προηγούμενες ατομικές προτάσεις με συγκεκριμένα σύμβολα («προτασιακές μεταβλητές») που τις αντιπροσωπεύουν: Προκείμενη 1: Προκείμενη 2: Συμπέρασμα: Το ίδιο μπορεί να παρασταθεί συμβολικά με τον ακόλουθο τρόπο: Όταν το Ρ ερμηνεύεται ως «Βρέχει» και το Q ως «έχει συννεφιά» οι παραπάνω συμβολικές εκφράσεις μπορεί να θεωρηθούν ότι αντιστοιχούν ακριβώς στην αρχική έκφραση σε φυσική γλώσσα. Όχι μόνο αυτό, αλλά θα αντιστοιχούν επίσης και σε οποιοδήποτε άλλο συμπερασμό αυτής της μορφής, ο οποίος θα είναι έγκυρος κατά τον ίδιο τρόπο. Η προτασιακή λογική μπορεί να μελετηθεί μέσω ενός τυπικού συστήματος στο οποίο τής αντίστοιχης τυπικής γλώσσας μπορούν να ερμηνευθούν ως προτάσεις μίας φυσικής γλώσσας. Ένα σύστημα κανόνων συμπερασμού και αξιωμάτων επιτρέπει σε ορισμένους τύπους να παραχθούν. Αυτοί οι τύποι που προκύπτουν ονομάζονται θεωρήματα και μπορούν να ερμηνευθούν ως αληθείς προτάσεις. Μία κατασκευασμένη ακολουθία αυτών των τύπων είναι γνωστή ως απόδειξη ή παραγωγή και ο τελευταίος τύπος της ακολουθίας είναι το θεώρημα. Η απόδειξη αυτή μπορεί να ερμηνευθεί ως απόδειξη της πρότασης που αντιπροσωπεύεται από το θεώρημα. Όταν ένα τυπικό σύστημα που χρησιμοποιείται για να αντιπροσωπεύσει την τυπική λογική μόνο οι ατομικές προτάσεις συμβολίζονται με μεταβλητές. Οι προτάσεις σε φυσική γλώσσα που προκύπτουν όταν ερμηνευθούν είναι εκτός του συστήματος, και η σχέση μεταξύ του τυπικού συστήματος και της ερμηνείας του είναι επίσης έξω από το ίδιο το τυπικό σύστημα. Συνήθως στην προτασιακή λογική οι τύποι ερμηνεύονται ως δηλώσεις είτε αληθείς είτε ως ψευδείς· η ερμηνεία αυτή συνήθως δίνεται από μία αληθοσυνάρτηση. Αυτού του είδους η προτασιακή λογική και συστήματα ισομορφικά προς αυτή θεωρούνται ως . (el)
- 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. (de)
- 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. (es)
- 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. (eu)
- 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. (fr)
- 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. (en)
- 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) (in)
- 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. (nl)
- 명제 논리(命題論理, 영어: propositional logic)는 내부 구조가 없는 명제에 논리합이나 부정 따위의 논리 연산을 가하여 구성한 명제들을 다루는 논리 체계이다.:30, Chapter 3 (ko)
- 命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。 (ja)
- 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". (it)
- 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. (pl)
- 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. (pt)
- 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. (sv)
- Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, англ. propositional calculus) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи. (uk)
- Логика высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний, также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Несмотря на свою важность и широкую сферу применения, логика высказываний является простейшей логикой и имеет очень ограниченные средства для исследования суждений. (ru)
- 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。 (zh)
|
| rdfs:comment
|
- في الرياضيات والمنطق، حساب القضايا (بالإنجليزية: propositional calculus) هو نظام يتم فيه تمثيل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تتم بواسطته برهنة نظريات منطقية. (ar)
- 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. (cs)
- 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. (de)
- 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. (fr)
- 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) (in)
- 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. (nl)
- 명제 논리(命題論理, 영어: propositional logic)는 내부 구조가 없는 명제에 논리합이나 부정 따위의 논리 연산을 가하여 구성한 명제들을 다루는 논리 체계이다.:30, Chapter 3 (ko)
- 命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。 (ja)
- 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. (pl)
- Чи́слення висло́влень (логіка висловлень, пропозиційна логіка, англ. propositional calculus) — формальна система в математичній логіці, в якій формули, що відповідають висловленням, можуть утворюватись шляхом з'єднання простих висловлень із допомогою логічних операцій, та система правил виводу, які дозволяють визначати певні формули як «теореми» формальної системи. (uk)
- 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。 (zh)
- 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. (ca)
- Προτασιακός λογισμός (ή αλλιώς προτασιακή λογική) είναι ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις (αν είναι αληθείς ή ψευδείς) που σχηματίζονται από άλλες προτάσεις με τη χρήση των , και το πώς η αληθοτιμή των πρώτων εξαρτάται από εκείνη των τελευταίων. Οι λογικοί σύνδεσμοι βρίσκονται επίσης και στις φυσικές γλώσσες. Στην ελληνική γλώσσα, για παράδειγμα, έχουμε τους λογικούς συνδέσμους «και», «ή» (διάζευξη), «όχι» και «αν» (αλλά μόνο όταν χρησιμοποιείται με την έννοια της λογικής συνεπαγωγής). Προκείμενη 1: Αν βρέχει, τότε έχει συννεφιά Προκείμενη 2: Βρέχει. (el)
- 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. (es)
- 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. (eu)
- 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. (en)
- 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 (it)
- 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. (pt)
- 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. (sv)
- Логика высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний, также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. (ru)
|
