Дәрістер тезистері 1 тақырып Жиындар теориясының элементтері Мақсаты


Импликация мен эквиваленцияның қасиеттері



бет43/64
Дата07.02.2022
өлшемі2,42 Mb.
#91114
1   ...   39   40   41   42   43   44   45   46   ...   64
Байланысты:
Дискретт математика. Дәрістер

Импликация мен эквиваленцияның қасиеттері
3.1. (Р → (Q → Р)) → ((Р → Q) → (Р → R))
3.2. Р → (Q → (Р Λ Q))
3 .3. (Р → R) → ((Q → R) → ((Р V Q) → R))
3 .4. (Р → Q) → ((Р → Q) → R
3.5. (Q Λ (Р → Q)) → Р
3 .6. (Р Λ (Р V Q)) → Q
3.7. (Р → Q) → ((Р V R) → (Q V R))
3.8. (Р → Q) → ((Р Λ R) → (Q Λ R))
3.9. (Р → Q) → ((Q → R) → (Р → R))
3 .10. (Р → Q) V (Q → Р)
3.11. (Q → Р) → ((Q → Р) → Q)
3.12. ((Р → Q) Λ (R → Q))  ((Р V R) → Q
3.13. (((Р → Q) Λ (Р → R))  (Р → (Q Λ R))
3.14. Р  Р
3.15. (Р  Q)  (Q  Р)
3.16. ((Р  Q) Λ (Q  R)) → (Р  R)




Достарыңызбен бөлісу:
1   ...   39   40   41   42   43   44   45   46   ...   64




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет