Results 141 to 150 of about 1,321,976 (196)
Some of the next articles are maybe not open access.
Possible worlds truth table task
Cognition, 2023In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Lewis, 1973; Stalnaker, 1968). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals.
Skovgaard-Olsen, Niels +2 more
openaire +3 more sources
The Mathematical Gazette, 1962
The problem I am going to discuss is the generation of the class of all mappings of the space S×S× .. × S , with any number of factors, into S itself, from a single mapping of the class, where ...
openaire +2 more sources
The problem I am going to discuss is the generation of the class of all mappings of the space S×S× .. × S , with any number of factors, into S itself, from a single mapping of the class, where ...
openaire +2 more sources
Connectives without truth tables
Natural Language Semantics, 2012There are certain uses of and and or that cannot be explained by their normal meanings as truth-functional connectives, even with sophisticated pragmatic resources. These include examples such as The cops show up, and a fight will break out (‘If the cops show up, a fight will break out’), and I have no friends, or I would throw a party (‘I have no ...
Nathan Klinedinst, Daniel Rothschild
openaire +1 more source
Indian Journal of Computer Science and Technology
Tables of truth are tools used in evaluating logical expressions and proving arguments. The name comes from the factual nature of the mathematical table in which all possible outcomes are represented. The Tractus Logico-Philosophicus, written by Ludwig Wittgenstein in 1918 and published in 1921, is largely credited for creating and popularizing the ...
Prajval Balte +3 more
openaire +1 more source
Tables of truth are tools used in evaluating logical expressions and proving arguments. The name comes from the factual nature of the mathematical table in which all possible outcomes are represented. The Tractus Logico-Philosophicus, written by Ludwig Wittgenstein in 1918 and published in 1921, is largely credited for creating and popularizing the ...
Prajval Balte +3 more
openaire +1 more source
Truth table classification and identification
Space Life Sciences, 1971A logical basis for classification is that elements grouped together and higher categories of elements should have a high degree of similarity with the provision that all groups and categories be disjoint to some degree. A methodology has been developed for constructingclassifications automatically that gives nearly instantaneous correlations of ...
openaire +2 more sources
Materials of the All-Russian Scientific and Practical Conference «CHALLENGING ISSUES IN SYSTEMS MODELING AND PROCESSES»
In this research paper, the concept of “Truth Table” was considered and studied. The relevant literature has been studied to obtain information. We also came to the conclusion where and how it can be used.
V. Velichko, A. Kolomeychuk
openaire +1 more source
In this research paper, the concept of “Truth Table” was considered and studied. The relevant literature has been studied to obtain information. We also came to the conclusion where and how it can be used.
V. Velichko, A. Kolomeychuk
openaire +1 more source
1981
The truth-table method [matrix method] is one of the decision procedures for sentence logic (q.v., §3.2). The method is based on the fact that the truth value of a compound formula of sentence logic, construed as a truth-function, is determined by the truth values of its arguments (cf. “Sentence logic” §2.2).
openaire +1 more source
The truth-table method [matrix method] is one of the decision procedures for sentence logic (q.v., §3.2). The method is based on the fact that the truth value of a compound formula of sentence logic, construed as a truth-function, is determined by the truth values of its arguments (cf. “Sentence logic” §2.2).
openaire +1 more source
Journal of Symbolic Logic, 1950
In this paper a method will be described which is intended to exhibit some relationships between sets of tautologies determined by truth-tables. This method is an attempt to form an algebra of truth-tables. The results sketched below are restricted to sets of tautologies determined by truth-tables with a finite number of elements and involving a single
openaire +1 more source
In this paper a method will be described which is intended to exhibit some relationships between sets of tautologies determined by truth-tables. This method is an attempt to form an algebra of truth-tables. The results sketched below are restricted to sets of tautologies determined by truth-tables with a finite number of elements and involving a single
openaire +1 more source
Telling the Truth: Boolean Algebra and Truth Tables
2016In this chapter, we will show you how to use the basic elements (signals) to create combinational logic in VHDL (VHSIC (very high speed integrated circuit) Hardware Description Language). We’ll also cover two IEEE (Institute of Electrical and Electronics Engineers) libraries, namely, std_logic_1164 and numeric_std which provide features for more than ...
Aiken Pang, Peter Membrey
openaire +1 more source
2018
The truth table is the main analytical tool needed to perform the minimization process that was invented in the engineering, and which Charles Ragin adapted for the social sciences. It is well known the electric engineering procedure was pioneered by Shannon (1940) at MIT, after having been earlier exposed to the work of George Boole, during his ...
openaire +1 more source
The truth table is the main analytical tool needed to perform the minimization process that was invented in the engineering, and which Charles Ragin adapted for the social sciences. It is well known the electric engineering procedure was pioneered by Shannon (1940) at MIT, after having been earlier exposed to the work of George Boole, during his ...
openaire +1 more source