Hola a todos. Estoy peleándome con un ejercicio de lógica y aunque el siguiente paso me parece obvio no se demostrarlo.

Básicamente es algo así

Premisas:

• Pv¬R
• P->T^R
• (R->S)^Q

Y tengo que demostrar que (S^T)v(¬R^Q)

He llegado a que:

• P-> (S^T)
• ¬R-> (¬R^Q)

Si os fijáis veréis que esto es algo así como

• AvB
• A->C
• B->D

y tengo que demostrar CvD

¿Puedo decir que dado que P->(S^T) y que ¬R->(¬R^Q) y que Pv¬R entonces (S^T)v(¬R^Q) ?

Me parece lógico al pensar algo como

• Si llueve, hace frio
• Si hace sol, hace calor
• Llueve o hace sol

¿No seria lógico decir que entonces hace frio o hace calor?

Si mi razonamiento es correcto ¿alguien puede decirme como se puede demostrar? y en caso de no serlo. Alguien puede darme alguna manera de enfocar el ejercicio?


Gracias
PD: No se si esto va aquí o debería haberlo publicado en algún otro foro...

Estoy haciendo un chat en Python y el servidor me esta dando muchos problemas... La idea es que dos clientes se conectan al servidor, y este reenvia todo lo que recibe a los dos clientes.

El problema viene porque mi server esta asi:

#!/usr/bin/env python
import socket
s = socket.socket()
s.bind(('192.168.1.35',9999))
s.listen(1)
sc, addr = s.accept()
c = socket.socket()
a = socket.socket()
c.connect(('192.168.1.34', 9998))
a.connect(('192.168.1.35',9997))
while True:
    resp = sc.recv(1024)
    print resp
    c.send(resp)
    a.send(resp)
 

Si uno de los clientes intenta conectarse, el servidor tira error porque no puede conectarse con el otro. (Obvio que hago algo mal ya que asi solo funcionara cuando los dos clientes conecten a la vez con el server...)

Que tengo mal en el diseño?

Estoy volviendo a programar en Java y estoy un pelin oxidado, me acuerdo que lo hacia con una JLabel y algo similar a esto:

getClass().getResource(ruta);
 

Me serviria una explicacion tanto para poner la imagen de fondo, como para ponerla independiente 

Me surge una duda a la hora de pasar del modelo entidad-relacion al modelo relacional:

He visto que se habla de "cardinalidad de relacion", pero no se como obtenerla... por ejemplo


                       (1,n)                       (1,1)
[ EMPLEADO ] ---- < PERTENECE >----- [ DEPARTAMENTO ]

Un empleado pertenece como minimo y como màximo a un departamento, mientras que un departamento puede tener de 1 a N empleados...

Como extraigo la cardinalidad de la relacion?

No sabia si ponerlo aqui o en el de Linux...
No consigo ejecutar la aplicacion porque al parecer no me encuentra la clase Scanner u.u


Alguna idea de porque pasa esto?

La verdad que no lo entiendo


El script  hace esto...

Pues eso, estoy intentando "copiarme a mi mismo" y no hay manera...
Solucionado 

Hola a todos, estoy empezando con el C# y me he puesto como objetivo desarrollar un blackjack, y me encuentro con que cada 3 o 4 partidas el juego se queda colgado...

He estado buscando y creo que el problema viene dado porque cuando hago:


Me reserva un nuevo espacio en la memoria, quando lo que quiero es que me la sobreescriba.
Para solucionarlo primero pense en detectar si el objeto ya estaba creado, y en ese caso modificarlo.


El metodo Carta, realiza lo mismo que el constructor, pero asi edito el ya existente y me ahorro comer mas memoria.

No funciona 

Sigo buscando, y saco la conclusion de que tengo dos opciones
- Evitar que reserve mas espacio en la memoria (hasta ahora fracaso u.u)
- Conseguir eliminar ese espacio que ocupa antes de ocupar uno nuevo.

Con lo segundo he intentado poner los objetos en null y utilitzar metodos para "llamar" al GC y no ha habido manera.

A ver si alguien puede darme algo de luz >_<

Pues eso... no se como capturar las teclas del teclado sin que la ventana este seleccionada... lo cual es bastante molesto, ya que lo que yo quiero hacer es setVisible(false); 

Si alguien tiene una solucion... graxx