| |||
| afirmación matemática (A combination of symbols that form a logical sentence that is true or false under a given interpretation) | |||
| |||
| afirmación matemática (A combination of symbols that form a logical sentence that is true or false under a given interpretation) | |||
