Wnioskowanie w KRZ
Wnioskowanie w KRZ
Wnioskowanie w KRZ
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
DETEKTYW IMPLIKACJA<br />
Dla pewności przyjrzyjmy się definicji:<br />
Zdanie Z wynika logicznie ze zbioru zdao<br />
{Z 1 , Z 2 ,…, Z n } zawsze i tylko wtedy, gdy Z<br />
wynika logicznie z koniunkcji, której<br />
członami są wszystkie elementy zbioru<br />
{Z 1 , Z 2 ,…, Z n } .<br />
(Stanosz 1985)<br />
www.logic.amu.edu.pl