¿Qué es la fragmentación matemática discreta?

Debería haber algún problema con la definición del libro de texto. Debe ser una expresión condicional con "P→Q".

Aquí puedes pensar fácilmente que P y Q son dos variables proposicionales. De hecho, aquí P y Q son fórmulas proposicionales, y es más apropiado escribirlas como A → B. Es decir, la primera y la segunda están relacionadas, como P∧Q→P, que es una tautología. .

Cuando P y Q son argumentos proposicionales, por supuesto, P→Q no puede ser una tautología.