Na lógica proposicional, uma regra de inferência apresenta a seguinte estr...
Na lógica proposicional, uma regra de inferência apresenta a seguinte estrutura: Caso ocorra P, necessariamente ocorrerá Q. Como Q não ocorreu, conclui-se que P não ocorreu.
publicidade
publicidade
publicidade