Nějaký mindrák? V otázce je, že se má odpovídat podle výrokové logiky a ne dle selského rozumu. Když zapátrám googlem na webu "výroková logika vyplývání", tak najdu třebu tuhle stránku:
http://www.phil.muni.cz/fil/logika/vl.php
Na ní si najděte odstavec nadepsaný "Výrokově logické vyplývání" a v něm text: "Věta B výrokově logicky vyplývá z vět A1, A2, ..., An, jestliže nabývá hodnoty pravda za všech takových uděleních hodnot proměnným, při nichž nabývají hodnoty pravda všechny věty A1, A2, ..., An.". A za ní je ten vzoreček s tou implementací. To bude tuším ono.
Názor k článku
E-learningem na vysokou školu?
