Udowodnij prawo rozkładu kwantyfikatora

[iksinski]

Dodam tylko jedno i już się nie odzywam w temacie. Syntaktycznie ujęta logika jest łatwiejsza. Szybko można coś sprawdzić, zamiast głowić się nad znaczeniem. Ale jeśli chodzi o jakieś poszerzanie wiedzy to oczywiście semantyka. Syntaktyczną robotę wykona komputer.