Logical Connective - Couverture souple

 
9786130729059: Logical Connective

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the compound sentence produced has a truth value dependent on the respective truth values of the original sentences. Each logical connective can be expressed as a function, called a truth function. For this reason, logical connectives are sometimes called truth-functional connectives. The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences whose truth values can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.