Udowodnij prawo rozkładu kwantyfikatora
Re: Udowodnij prawo rozkładu kwantyfikatora
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.