logika formalna
 
Encyklopedia PWN
logika formalna, logika symboliczna,
nauka o związkach logicznych między zdaniami, zwłaszcza o związkach wynikania, uwarunkowanych budową (strukturą) zdań, oraz opartych na tych związkach formach i regułach poprawnego wnioskowania.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia