In: Computer Science
Complete the following statements.
Two compound propositions p and q in propositional logic are logically equivalent if . . ..
An argument form in propositional logic is valid if . . ..
A theorem is a statement that . . ..
A statement that is assumed to be true is called a(n) . . ..
A proof is a valid argument that . . ..
Two compound propositions p and q in propositional logic are logically equivalent if they always have the same truth value.
An argument form in propositional logic is valid if ll the premises are true (are satisfied), the conclusion is also true.
A theorem is a statement that has been proven to be true, either on the basis of generally accepted statements such as axioms or on the basis previously established statements such as other theorems.
A statement that is assumed to be true is called a(n), to serve as a premise or starting point for further reasoning and arguments.
A proof is a valid argument that uses some form of logic (usually predicate logic) and uses logical rules of deduction and axioms or theorems in it's specific field to drive some new sentences that will eventually lead to the proposition we want to prove .