alguém lembra?

T1 - Assumir as premissas para provar a conclusão
T2 - Negar a conclusão e provar a negação da premissa
T3.1 - Negação:reescrever a meta de outra forma e então utilizar outras técnicas
T3.2 - Assumir P verdadeiro e provar contradição
T4 - Envolvendo quantificador universal
T5 - Envolvendo quantificador existencial
T6 - Meta com P^Q (Prove P e Q separadamente)
T7 - Meta P <-> Q (Prove P -> Q e Q -> P separadamente)
T8 - Meta P \/ Q (Se P for verdadeiro, então P \/ Q é verdadeiro, mas se P for falso, provar que Q é verdadeiro)
T9 - P \/ Q está nos dados ( 1o. e 2o. casos e provar meta)

----------


Sim, é muita viagem!