2) 2  8  mdc (2, 8) = 2 – significa dizer que é ver- dadeiro o bi-condicional “2 é divisor de 8 se, e somente se, o máximo divisor comum de 2 e 8...

2) 2  8  mdc (2, 8) = 2 – significa dizer que é ver- dadeiro o bi-condicional “2 é divisor de 8 se, e somente se, o máximo divisor comum de 2 e 8 é 2”.

o) Sentenças Abertas, Quantificadores
p) Quantificador universal
q) Quantificador Existencial
r) Como Negar Proposições
s) Contradição