Մաթ. Տրամ./Բանաձևերի ցանկը

Վիքիգրքեր-ից

Աքսիոմներ[խմբագրել]

1.

2.

3.

Բանաձևեր[խմբագրել]

0'.

1.

2.

3.

3'.

4.

5.

6.

7.

Սիլոգիզմներ[խմբագրել]

1.

2.

Հետևանք.

Ներմուծման և արտածման կանոններ[խմբագրել]

1.

կոնյուկցիայի ներմուծման կանոնը

2.

կոնյուկցիայի արտածման կանոնը

3.

կոնյուկցիայի արտածման կանոնը

4.

դիզյունկցիայի ներմուծման կանոնը

5.

դիզյունկցիայի ներմուծման կանոնը

6.

դիզյունկցիայի արտածման կանոնը

7.

ժխտման ներմուծման կանոնը

8.

ժխտման արտածման կանոնը