TRINQUETE En náutica: mástil mayor del palo de proa en embarcaciones que tienen más de un palo. También verga mayor del mástil de proa. Y también, válgame Dios, la vela del palo mayor. En mecánica: pestaña que.permite el avance pero que impide el retroceso, típicamente las ruedas de los relojes y otras máquinas cuyas uñetas o trinquetes evitan el retroceso de las ruedas dentadas. En deportes: modalidad de pelota vasca y la cancha de la misma. En matemáticas e informática: símbolo lógico que consiste en una T acostada con la línea vertical a la izquierda. En ASCII se obtiene con la barra vertical (|) y con el guión (-), P |- Q, que se entiende de 3 modos:
-A partir de P se sabe Q
-P provoca Q, i.e. Q es consecuencia de P
-Q es demostrable a partir de P
Sinónimos de trinquete son uñeta palo mayor
"El Trinquete de la lógica matemática se llama así por su semejanza a la vista de planta de un molinillo."