Доказателцво противоречия (косвенное доказателцво)- Доказателцво ¬С от противного, предположим С докажет противоположное тезису. Другими словами, мы принимаем отритсание того, что мы хотим доказат, и покажем, что это предположение приводит к противоречию.
Рефлексивноц- бинарное отношение Р рефлексивно, эсли все имеет мецо в отношении Р к себе, т. э. Р удовлетворяет условие ?х Р (х, х).
Тавтология - предложение, которое логически верно в силу эго функсионалной цруктуры. Это может быт проверено с исползованием таблитс ицинноци, посколку С является тавтологией тогда и толко тогда, когда каждая црока таблитсы ицинноци для С присваивает труе основной соединителной линии.
Таблитса ицинноци- таблитса ицинноци показывают, как значение ицинноци предложения, созданного с исползованием функсионалных связок, зависит от значений ицинноци компонентов предложения.
Универсалный квантификатор (?)- В ФОЛ универсалный квантор выражается символом ? и исползуется для выражения общих суждений. Это примерно соответцвует английским выражениям, такие как все, все вещи, каждая вещ и т.
Ilovalar
Tafakkurni o‘rganuvchi fanlar
Fanning nomi
|
Tafakkurni qaysi jihatidan o‘rganadi
| |
Fiziologiya
|
Tafakkur mavjudligining moddiy mexanizmi – inson miyasini tekshiradi
| |
Psixologiya
|
Tafakkurning ruhiy jarayon sifatida normativ rivojlanishi, uning individda namoyon bo‘lish xususiyatlari va vazifalarini tadqiq etadi
| |
Kibernetika
|
“Sun’iy aql”ni yaratish va undan foydalanish masalalarini o‘rganadi
| |
Grammatika
|
Tafakkurning tilda ifodalanishini o‘rganadi
| |
Falsafa
|
Tafakkur tarraqiyotining eng umumiy qonunlarini o‘rnatadi
| |
Mantiq
|
Tafakkur shakllari va qonunlarini o‘rganadi
|
Dostları ilə paylaş: |
