About: Propositional formula     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Statement106722453, within Data Space : dbpedia.org associated with source document(s)

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as p and q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example: (p AND NOT q) IMPLIES (p OR q).

AttributesValues
rdf:type
rdfs:label
  • Aussageform
  • Propositional formula
  • Fórmula proposicional
  • Formule propositionnelle
  • Funkcja zdaniowa
  • Пропозициональная формула
rdfs:comment
  • Der Ausdruck Aussageform ist mehrdeutig. Er bezeichnet: * einen Ausdruck, der eine Variable enthält, und der durch Bindung der Variable an einen Quantor in eine Aussage übergeht (Aussageform i. S. d. Mathematik und Prädikatenlogik); * einen Ausdruck, in dem eine Aussagenvariable vorkommt (Aussageform i. S. d. Aussagenlogik). Üblicherweise wird im ersten Fall von einem Prädikat gesprochen und nur im zweiten von einer Aussageform. (vgl. Prädikatenlogik)
  • En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Si los valores de todas las variables en una fórmula proposicional son dados, es determinado un único valor verdadero. Una fórmula proposicional también puede ser llamada una expresión proposicional, una frase, o una fórmula sentencial. Una fórmula proposicional es construida por una simple proposición, como "5 es mayor que 3" o variables proposicionales como P y Q, usando conectores como NO, Y, O e IMPLICADORES ; 1. * (P Y NO Q) IMPLICA (P O Q).
  • In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as p and q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example: (p AND NOT q) IMPLIES (p OR q).
  • En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée. (P ET NON Q) IMPLIQUE (P OU Q).
  • Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa, także forma zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich wartości staje się zdaniem. W ujęciu formalnym jest to funkcja, której wartościami są zdania - choć to ujęcie nie eksponuje możliwości otrzymania z funkcji zdaniowej zdania przez skwantyfikowanie jej argumentów; jeżeli w funkcji zdaniowej o wielu argumentach skwantyfikujemy część argumentów, a za część pozostałych podstawimy elementy stosownych zbiorów, to otrzymamy nową funkcję zdaniową zależną od tych argumentów, których ani nie skwantyfikowano ani nie podstawiono.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Sep 15 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software