Karteikarten
Discrete Math M2S1
Karten in diesem Stapel (15)
- 1Science of necessary inference or study of reasoning Identifies valid mathematical argumentLogic
- 2A declarative sentence that is either true or false, but not both.Statement
- 3It is the area of logic that deals with propositions. It is the logic of compound statements built from simpler statements using so-called Boolean connectives.Propositional Logic
- 4Design of digital electronic circuits Expressing conditions in programs Queries to databases & search enginesApplication of Propositional Logic In Computer Science
- 5Is a combination of one or more propositions. It is formed by using logical operators or connectives.Compound Proposition
- 6is true only when both of the propositions are true. It is also called a conjunction.logical connective: AND
- 7is true if one or both of the propositions are true. It is also called a disjunction.logical connective: OR
- 8A _____ is a statement that is always truetautology
- 9________ is a statement that is always falseContradiction
- 10We use the symbol _ for tautologyt
- 11We use the symbol _ for contradictionc
- 12A contingent statement is neither a tautology or a contradiction.Contingency
- 13A ________ is neither a tautology or a contradiction.contingent statement
- 14Two statements are logically equivalent if they have the same truth table.Logical Equivalence
- 15—
Informationen
- Beschreibung
- Karteikarten am Discrete Math M2S1, erstellt von Martin Joseph Bonagua am 23/09/2020.
- Erstellt von
- Martin Joseph Bonagua
- Aufrufe
- 0
- Bewertung