sempre que vier na questão "P v ~P" sera uma tautologia. as demais so serão tautologia se estiverem acompanhadas de outra proposição, porém sempre tera que da verdade.
Navegue em mais questões
Erro ao Ler: SQLSTATE[HY093]: Invalid parameter number: number of bound variables does not match number of tokens
Erro ao Ler: SQLSTATE[HY093]: Invalid parameter number: number of bound variables does not match number of tokens