1 тарау. ТҰжырымдар алгебрасы 5

Тұжырымдарға қолданылатын логикалық амалдар. Терістеу

жүктеу 1,18 Mb.

бет	5/34
Дата	16.01.2022
өлшемі	1,18 Mb.
	#32886

1 2 3 4 5 6 7 8 9 ... 34

Дип.-ТҰЖЫРЫМДАР-АЛГЕБРАСЫ

1.2. Тұжырымдарға қолданылатын логикалық амалдар. Терістеу

а тұжырымының терістеуі жаңа тұжырым болып табылады, бұл тұжырым а ақиқат болғанда жалған, ал а жалған болғанда кезде, ақиқат болады.

a терістеу тұжырымы (¬a) деп бегіленеді және «а емес» немесе «дұрыс емес а» деп оқылады. ¬a тұжырымының логикалық мәнін кесте арқылы көрсетуге болады:

а	¬a
1	0
0	1

Бұл түрдегі кестені ақиқаттық кестесі деп атайды.

Мәселен, «2 кіші 5тен» тұжырымы үшін терістеу болып «2 кіші емес 5тен» тұжырымы болады.

а тұжырым болсын. да тұжырым болғандықтан, тұжырымына терістеу құруға болады, яғни тұжырымы а тұжырымына екілік терістеу болады. және а тұжырымдарының логикалық мәні бірдей.

жүктеу 1,18 Mb.

Достарыңызбен бөлісу:

1 2 3 4 5 6 7 8 9 ... 34