Logiikka ja ensimmäiset tekoälyt