Prove que para um n ́umero inteiro n, se 5n + 2 ́e par ent ̃ao n ́e par.

Na matemática todo N*2 tem como resultado um número par, sendo N inteiro.

Considerando essa definição, 5 sendo um inteiro, o resultado de 5*N é par também.

p = 5 é inteiro

q = 2 é par

r = 5n + 2 é par

p ʌ q -> r

Sendo também um axioma da matemática a soma de dois números inteiros pares resultar em um inteiro par,

ao acrescentar 2, o resultado de 5*N + 2 ainda é par

Você quer isso em código Java?