Flashcards
Discrete Math M2S1
Flashcards do conjunto (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—
Informações
- Descrição
- FlashCards sobre Discrete Math M2S1, criado por Martin Joseph Bonagua em 23-09-2020.
- Criado por
- Martin Joseph Bonagua
- Visualizações
- 0
- Avaliação