Logica predicatelor

|

Logica predicatelor – cunoscută și ca logica de ordinul întâi și calcul predicatelor de ordinul întâi – este o colecție de sisteme formale utilizate în matematică, filosofie, lingvistică și informatică. Logica de ordinul întâi utilizează variabile cuantificate asupra obiectelor non-logice … Citeşte mai mult