Спирина, М.С. Дискретная математика

247 Непосредственные умозаключения Т а б л и ц а 5.6 Операнды П р евр ащ ени я О бр ащ ени я П ротивопоставлени я предикату Ф о р м у л а в с е j е с т ь р в с е ^ е с т ь р в с е j е с т ь р н е к о т о р ы е н е е с т ь н е к о т о р ы е н е е с т ь н е к о т о р ы е н е е с т ь в с е £ н е е с т ь ~р о р ССТЬ ^ н е е с т ь 0 -р н е е с т ь е с т ь ( S - » / > ) = ( Р -> S ) . н е к о т о р ы е е с т ь П р а в и л а в ы в о д о в S с о х р а н я е т с я Р — п р о т и в о р е ч и в о е С в я з к а — п р о т и в о п о л о ж н а я А —> Е , Е —> А J - » О , О —> J — п е р е н о с «не» с о с в я з к и н а п р е д и к а т , и н а ­ о б о р о т S Р С в я з к а с о х р а н я е т с я , е с л и Vs = V P в се с в я з к а ------------------- , н е к о т о р ы е е с л и Vs > V P П р е в р ащ а е м О б р ащ а е м П р о т и в о п о к а з а н и я Н е т Н е в ы п о л н я е т с я д л я О Н е в ы п о л н я е т с я д л я J П р и м е р ы О б щ е у т в е р д и т е л ь ­ н ы е А В с е м е т а л л ы — п р о в о д н и к и электричества Н и о д и н м е т а л л н е я в л я е т с я н е э л е к т р о п р о в о д н ы м Все квадраты — ромбы Н е к о т о р ы е р о м б ы — к в а д р а ты В с е к в а д р а т ы — равносторон­ ние прямоугольники В с е р а в н о с т о р о н н и е п р я м о ­ у г о л ь н и к и — к в а д р а т ы В с е д и р е к т о р а я в л я ю т с я руко­ водителями предприятия Н и о д и н н е р у к о в о д и т е л ь п р е д ­ п р и я т и я н е я в л я е т с я д и р е к т о р о м