kvantifikatorski račun

Kvantifikatorski račun

Formule kvantifikatorskog računa definišemo najprije kao izvjesne nizove simbola. Formule kvantifikatorskog računa se grade po određenim pravilima od tzv. osnovnih...

Kvantifikatorski račun

Matematičke discipline se mogu posmatrati potpuno formalno tj. sintкsički. U takvom pristupu smisao pojmova i istinitost tvrđenja nema direktan uticaj...