File:Logical_connectives_Hasse_diagram.svg · Wikimedia Commons · See Wikimedia Commons
逻辑运算符
Sign in to saveAlso known as sentential connective, sentential operator, propositional connective, connective, logical connective
symbol or word which can be applied to statements (of either a formal or a natural language) to produce a new statement
Wikidata facts
- Subclass of
- Boolean-valued function
- Has use
- connection
Show 3 more facts
- topic's main category
- Category:Logical connectives
- maintained by WikiProject
- WikiProject Mathematics
- topic has template
- Template:Logical connectives sidebar
Sources (3)
via Wikidata · CC0
Article · 中文
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical Operators）。
Abstract from DBpedia / Wikipedia · CC BY-SA