Жұмыс бағдарламасы (силлабус) осы мамандықттардың Қр мжмбс 08. 329-2006, Қр мжмбс 08. 33-2006 Мемлекеттік стандартына сәйкес құрылған


Импликация мен эквиваленцияны конъюнкция, дизъюнкция, терістеу арқылы өрнектеу



бет35/214
Дата13.02.2017
өлшемі21,8 Mb.
#9109
түріМазмұндама
1   ...   31   32   33   34   35   36   37   38   ...   214
Импликация мен эквиваленцияны конъюнкция, дизъюнкция, терістеу арқылы өрнектеу.

белгілері бар кез-келген формуланы белгілері жоқ басқа эквивалентті формуламен ауыстыруға болатының дәлелдейміз.

Айталық (1) (2) формулалары белгілі болсын. Бірінші формулада импликация дизъюнкция мен терістеу арқылы, ал екінші формуладағы импликация конъюнкция мен терістеу арқылы өрнектеліп тұр. Мына эквиваленцияны (3) конъюнкция, импликация арқылы өрнектеуге болатындығын көрсетейік.

Тексеру:


Каталог: uploads
uploads -> Сәлім меңдібаев армысың, алтын таң! Журналист жазбалары Қостанай – 2013 ж
uploads -> Тақырыбы: Ғарышты игеру (аудандық семинар)
uploads -> Реферат kz Қазақша рефераттар сайты Талғат Амангелдіұлы Мұсабаев Қазақстанның ұлттық ғарыш агенттігінің төрағасы. Ғарышкер, техника ғылымдарының докторы
uploads -> Ғарыш әлеміне саяхат
uploads -> Сабақ тақырыбы: Шерхан Мұртаза «Ай мен Айша» романы Сабақ мақсаты: ҚР «Білім туралы»
uploads -> Қазақ тілі мен латын тілі кафедрасы Қазақ Әдебиеті пәні бойынша әдістемелік өҢдеу мамандығы: Фельдшер Мейірбике ісі Стамотология Курс: І семестрі: ІІ
uploads -> Ф 7 –007-02 Қазақстан Республикасы Білім және ғылым министрлігі
uploads -> 2011 жылдың 14 мамырында «Жалпы гигиена және экология», «Эпидемиология» кафедрасының ұйымдастыруымен және «Студенттік басқару ұйымының» ұйымдастыруымен Д. Е
uploads -> Сабақтың тақырыбы Бала Мәншүк ( Мәриям Хакімжанова) Сілтеме
uploads -> Ана тілі №2. Тақырыбы: Кел, балалар, оқылық Мақсаты


Достарыңызбен бөлісу:
1   ...   31   32   33   34   35   36   37   38   ...   214




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет