Diferencia entre revisiones de «Relación intransitiva»

Dados las rectas del plano y la relación binaria perpendicularidad: ''p''<math> \vdash </math>, entre rectas, que se cumple cuando dos rectas son perpendiculares y no se cumple si no lo son, tenemos que siendo ''r'', ''s'' y ''t'' rectas del plano ''P'':

r \; \mathcal{p}vdash \; s

s \; \mathcal{p}vdash \; t

r \; \cancel{\mathcal{p}}nvdash \; t