mas to apavorado, curso sistemas de informação e tenho um trabalho pra fazer na cadeira de lógica de predicados sobre tablôs semânticos, ja procurei na net mas naum achei nada :(Neg , portanto se alguém conhece ou até talvez tenha um trabalho pronto, eu agradeço :)Pos ,
O trabalho vale 4 pts na média
Um abraço e até mais

