<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="fuzimpl4.html#V6" title="FUZIMPL4:attr.6">satisfying_R-CP</a> <a onclick="hs(this)" href="javascript:()">FUZIMPL4:def 8 : <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#V6" title="FUZIMPL4:attr.6">satisfying_R-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#V3" title="FUZIMPL4:attr.3">-satisfying_R-CP</a>  );<br/></span></div>
