Форум » "Какая логика нужна студенту?" (с) А.А. Захаров » Список общезначимых формул » Ответить
Список общезначимых формул
zaharov: 1a. ├ A→(B→A) 1b. (A→B)→((A→(B→C))→(A→C)) 3. A→(B→A&B) 4a. A&B→A 4b. A&B→B 5a. A→AνB 5b. B→AνB 6. (A→C)→((B→C)→(AνB→C)) 7. (A→B)→((A→¬B)→¬A) 8. ¬¬A→A 9a. (A→B)→((B→A)→(A~B)) 10a. ¬(A~B)→(A→B) 10b. (A~B)→(B→A) *1 A→A *2 (A→B)→((B→C)→(A→C)) *3 A→(B→C)~(B→(A→C) *4a A→(B→C)~A&B→C *10a. A→(A→B) *12a. A→B~¬B→¬A *19. A~A *20. (A~B)~(B~A) *21. (A~B)&(B~C)→(A~C) *31 (A&B)&C~A&(B&C) *32 (AνB)νC~Aν(BνC) *33 A&B~B&A *34 AνB~BνA *35 A&(BνC)~(A&B)ν(A&C) *36 Aν(B&C)~(AνB)&(AνC) *37 A&A~A *38 AνB~A *39 A&(AνB)~A *40 Aν(A&B)~A *49 ¬¬A~A *50 ¬(A&¬A) *51 Aν¬A *55a. ¬(AνB)~A&¬B *55b. ¬(A&B)~¬Aν¬B *55c. ¬(A→B)~A&¬B *56. AνB~¬(A&¬B) *57. A&B~¬(¬Aν¬B) *58. A→B~¬(A&¬B) *59. A→B~¬AνB *60. A&B~¬(A→¬B) *61. AνB~¬AνB *63a. (A~B)~(A→B)&(B→A)
Ответов - 1
Lukin: эти формулы позволяют облегчить понимание и решение какой-либо задачи.. очень практично, попробуйте
полная версия страницы