El hilo con el increíble título mutante

[Faerindel]

Putas leyes de Morgan.

[neoprogram]

¬(p V q) <=> ¬p /\ q

Un pin al que sepa decirme qué es eso.

Eso tiene pinta de falacia formal

[Jandrew]

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

[Aliena]

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

[neoprogram]

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

[Jandrew]

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

[Aliena]

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

[neoprogram]

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?

[Jandrew]

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?

[neoprogram]

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.