sentenças abertas lógica proposicional raciocinio
25 mar 2015, 20:13
Consideremos as sentenças abertas em N= {1, 2, 3, ...}:
p(x): x+1<7
r(x): x é divisor de 12
Qual conjunto verdade da sentença aberta "p(x)^r(x)" ?
p(x): x+1<7
r(x): x é divisor de 12
Qual conjunto verdade da sentença aberta "p(x)^r(x)" ?
Re: sentenças abertas lógica proposicional raciocinio
05 abr 2015, 20:07
Será {1,2,3,4}, se ⋀ for a operação conjunção definida sobre IN.
