jenny:

konsekwencja semantyczna, konsekwencja syntaktyczna, koniunkcyjna postać normalna, postać standardowa skolema, modus ponens, modus tollens, dupa(znajdź błąd ;))
2009/09/06 03:45:30, 0