Доказателцво противоречия (косвенное доказателцво)- Доказателцво ¬С от противного, предположим С докажет противоположное тезису. Другими словами, мы принимаем отритсание того, что мы хотим доказат, и покажем, что это предположение приводит к противоречию.
Рефлексивноц- бинарное отношение Р рефлексивно, эсли все имеет мецо в отношении Р к себе, т. э. Р удовлетворяет условие ?х Р (х, х).
Тавтология - предложение, которое логически верно в силу эго функсионалной цруктуры. Это может быт проверено с исползованием таблитс ицинноци, посколку С является тавтологией тогда и толко тогда, когда каждая црока таблитсы ицинноци для С присваивает труе основной соединителной линии.
Таблитса ицинноци- таблитса ицинноци показывают, как значение ицинноци предложения, созданного с исползованием функсионалных связок, зависит от значений ицинноци компонентов предложения.
Универсалный квантификатор (?)- В ФОЛ универсалный квантор выражается символом ? и исползуется для выражения общих суждений. Это примерно соответцвует английским выражениям, такие как все, все вещи, каждая вещ и т.
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
