<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="fuzimpl4.html#V4" title="FUZIMPL4:attr.4">satisfying_CP</a> <a onclick="hs(this)" href="javascript:()">FUZIMPL4:def 6 : <br/></a><span> for <font color="Olive" title="b1">I</font> being   <a href="fuzimpl1.html#NM1" title="FUZIMPL1:NM.1">Fuzzy_Implication</a> holds <br/> ( <font color="Olive" title="b1">I</font> is  <a href="fuzimpl4.html#V4" title="FUZIMPL4:attr.4">satisfying_CP</a>  iff <font color="Olive" title="b1">I</font> is  <a href="fuzimpl3.html#K4" title="FUZIMPL3:func.4">FNegation</a> <font color="Olive" title="b1">I</font> <a href="fuzimpl4.html#V1" title="FUZIMPL4:attr.1">-satisfying_CP</a>  );<br/></span></div>
