/
Y Y
MIEJSCE RYTÓW ANI A ^
UMYSŁOWYCH SORÓW IN TO RM AC\
Generowanie twierdzeń wywiedzionych intuicyjnie z przesłanek i nadawanie im nowych znaków językowych
X
Dochodzenie do określonych wniosków na podstawie założonych wcześniej zbiorów przesłanek
Zbiory
wcześniej
NOWE TWIERDZENIA (NOWE ZNAKI JĘZYKOWE)