Putas leyes de Morgan.

Cita de: Shadark en 15 de Octubre de 2008, 01:18
¬(p V q) <=> ¬p /\ q

Un pin al que sepa decirme qué es eso.

Eso tiene pinta de falacia formal

leyes de morgan modus tollendo tollens etc.... lo siento pero lo tengo mas q olvidado 

No son ciertas las proposiciones p y q si y sólo si no es cierta p o es cierta q.

Cita de: Aliena en 15 de Octubre de 2008, 01:36
No son ciertas las proposiciones p y q si y sólo si no es cierta p o es cierta q.

<=> es bicondicional, y la bicondición no se cumple

he hecho lo de los unos y los ceros y no da todo unos 

Bueno, dejadme tranquila, que hace como 4 años que di eso y suficiente es que me acuerde de lo que es la negación XD

Si no me equivoco



¬(p V q) <=> ¬p ^ q

P Q  ¬(PvQ)      ¬P     ¬P^Q
----------------------------
0 0    1          1       0
0 1    1          1       1
1 0    1          0       0
1 1    0          0       0


¿No?

Cita de: neoprogram en 15 de Octubre de 2008, 01:43
Si no me equivoco



¬(p V q) <=> ¬p ^ q

P Q  ¬(PvQ)      ¬P     ¬P^Q
----------------------------
0 0    1          1       0
0 1    1          1       1
1 0    1          0       0
1 1    0          0       0



¿No?

si, y no da porque porque creo que tenia que ser lo mismo a ambos lados de la bicondicional , aunque yo apredi en un formato un poco distinto pero viene a ser lo mismo 


edit: no estoy seguro porque si es una ley de morgan no deberia dar todo unos?

No, solo tiene que dar lo mismo a ambos lados de la bicondición (si a la izquierda es falso a la derecha falso, para poder ser una ley, no hace falta que todas las premisas den verdadero, solo que la bicondición sea verdadera).
Por lo tanto, y si la tabla no está mal, eso es una falacia formal.