Отправлено: 18.05.10 19:38. Заголовок: Список общезначимых формул

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)

 Отправлено: 08.06.10 17:40. Заголовок: эти формулы позволяю..

эти формулы позволяют облегчить понимание и решение какой-либо задачи.. очень практично, попробуйте