Boa noite colegas, estou com um problema e não sei dizer se é complexo ou simples, pois bem eis o próprio:
Se trata sobre regras de inferência, Modus Pones Tollens e por ai vai, porém no meu problema eu terei a seguinte entrada:
W -> R
?
R
cada linha representa um objeto String.
ps o caractere “?” pode substituindo qualquer premissa.
? -> R
W
R
tenho que substituir o caractere “?” pela premissa correta através das regras que já tenho, por exemplo:
Modus Ponens
P -> Q
P
Q
nesse caso a saída do aplicativo ficaria assim:
W -> R
W
R
no momento estou sem ideias para resolver essa substituição.
desde já agradeço.