Autorius (-ė) Romanas Plečkaitis
dedukcinių teorijų savybė. Neprieštaringumas yra dvejopas: sintaksinis ir semantinis. Daugiau
įrodymas įrodymo būdas, kai tezės teisingumas nustatomas įrodant tezei prieštaraujančių teiginių klaidingumą. Daugiau
sritis kurios nors tyrimo srities objektų visuma. Svarbi predikatų ir klasių logikos sąvoka. Daugiau
filosofijos kryptis, nagrinėjusi R. Descartes’o iškeltą kūno ir sielos dualizmo klausimą. Gyvavo 17 amžiuje. Daugiau
simbolis arba jų kombinacija, siejanti kintamuosius dydžius, konstantas ar formas ir sukurianti naiją konstantą ar formą. Daugiau
logikoje samprotavimas, įrodantis ir teiginio teisingumą, ir jo klaidingumą, t. y. įrodantis teiginį ir jo neigimą. Daugiau