Theoretical Questions - Mathematical Logic
| 1. | What do we understand by a proposition? |
| 2. | Explain the principle of bivalence of propositional logic? |
| 3. | Give at least three examples of propositions. |
| 4. | Give three examples of colloquial statements which do not represent propositions. |
| 5. | What do we understand by a formula? |
| 6. | How are the logical connectives \( \neg, \) \( \vee, \) \( \wedge, \) \( \to \) and \( \leftrightarrow \) defined? |
| 7. | When are three propositions are called semantically equivalent? |
| 8. | Give at least two examples of semantically equivalent propositions. |
| 9. | What do we understand by a tautology? |
| 10. | Give at least three propositional principles of proof. |
| 11. | What do we understand by a contradiction? |
| 12. | Give at least three examples of contradictions. |