Duda con lógica proposicional

Archivado
Alguien del forillo podría decirme el nombre de un conector que debería tener esta forma?' "|". Me suena que se lo define con un nombre germano o por la zona. Grasiá de antemano
Como no des mas detalles...
Un conector para que?
Un conector del palo... ^, ¬, -->, etc etc.

Me suena que era algo de este estilo:

(a|a) = ¬a

Tampoco he podido mirarlo en ningún sitio.
a.. logica formal....
eso se le llamaba pipe, osea tubería si mal no recuerdo, que me corrija algun amante de linux que las pipes se usaban muxo con el comando Grep.
Ese operador en C es un OR a nivel de bits.
No me suena de nada ese operador en lógica proposicional, yo sólo conozco: ^, v, =>, <=>, ¬, el "o exclusivo" y el contrario.

Y tuve un examen de eso mismo hoy
Yo controlo bastante de lógica proposicional (Clásica, no aplicada a programación)..... y no me suena de nada,
Joer, eso es de principio de carrera... podria aventurarme en darte la respuesta, pero mejor me miro un momento los apuntes!!!

Veamos, lo recuerdo en:
1.- gramatica incontextual en expresiones tales como:
L(G) = {w ∈ Σ∗ | S ⇒* w}.
donde es un "AND"
o de esta manera:
D → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Donde es un separación en la enumeración de las palabras del lenguaje

2.- En TALF 2 tambien aparece
CLIQUE = {hG, ki | G ´es un graf no dirigit amb un k-clique}
A = {(x, y) | 'x(x + y)  y}
Aquí se traduciria con un "donde"
Iba a poner lo de Raday. Separación de valores en una lista a modo de "o". O "conjunción neutra" en una formulación lógica. Por decirlo de alguna manera.

Con sus ejemplos diría yo que queda mas claro imposible sobre sus usos
9 respuestas
Archivado
Volver a Miscelánea