lavinia-lapa documents

Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla, onde: L: linguagem proposicional R: conjunto de regras de inferências
Documents Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla, onde: L: linguagem proposicional R: conjunto de regras de inferências