Тұжырымдар алгебрасының пара-пар, тепе-тең ақиқат және тепе-тең жалған формулалары


Скачать/Жүктеу

Егер логика алгебрасының А және В формулалары олардың құрамына енетін қарапайым тұжырымдарының кез келген мәндерінде бірдей мән қабылдаса, онда бұл формулалар пара-пар деп аталады. Формулалардың пара-парлығын º белгісімен белгілейміз, яғни

А ºВ Û А және В формулалары пара-пар.

Егер А формуласы оған кіретін айнымалылардың барлық мәндерінде  1 мәнді қабылдайтын болса, онда бұл формула тепе-тең ақиқат (немесе тавтология) деп аталады.

Егер А формуласы оған кіретін айнымалылардың барлық мәндерінде  0 мәнді қабылдайтын болса, онда бұл формула тепе-тең жалған (немесе қарама-қайшылық) деп аталады.

Пара-парлық және эквиваленттік ұғымдары арасында мынадай байланыс бар: егер А және В формулалар пара-пар болса, онда А«В формуласы – тавтология, және керісінше, егер А«В формуласы тавтология болса, онда А және В формулалары пара-пар болады.


Скачать/Жүктеу

Комментировать

Вам необходимо войти, чтобы оставлять комментарии.




1Referat.kz сайтында кез-келген тақырыпқа мәліметтер, қазақша рефераттар, курстық жұмыстар жинақталған. Барлық мәліметтер тегін. Керек мағлұматты Жүктеп (Скачать) немесе Көшіріп (Скопировать) ала аласыз.

Наш сайт — это огромная Коллекция рефератов, курсовых работ, дипломных работ. Все материалы на сайте бесплатные. Нужную работу вы можете, скачать или скопировать.
Сайт картасы