Witam.
Poszukuję programu, który odczytałby funktory prawidłościowe klasycznego rachunku zdań. Wiem, że możliwe jest to przez Microsoft Word, ale może istnieje jeszcze jakiśc inny darmowy program. Więcej o KNŻ: http://pl.wikipedia.org/wiki/Funktor_zdaniotw%C3%B3rczy
Chodzi o to by odczytać takie funktory jak koniunkcja, negacja, dysjunkcja, implikacja, alternatywa itp.