znowu logika... Star: Zdanie "Nieprawda że : 49 jest kwadratem pewnej liczby ujemnej i √3 nie jest liczbą wymierną " na podstawie prawa de Morgana jest równoważne jakiemu zdaniu? "Nieprawda że jeśli 49 jest kwadratem pewnej liczby ujemnej to pierwiastek z trzech jest liczbą wymierną"? Jak dla mnie to nie ma sensu...

Ratox: K − 49 jest kwadratem pewnej liczby ujemnej R − √3 nie jest liczba wymierną ~(K => R) <=> ~ K ∨ R

Jack: ¬(p∧q) ⇔(¬p∨¬q ) − to jest prawo de Morgana...

Star: odpowiedź ma być napisana tekstem a nie za pomocą oznaczeń plus wg mnie to w zadaniu jest koniunkcja zdania pierwszego i zaprzeczenia zdania drugiego: i z prawa do Morgana byłoby to ¬(p=>q) <=>[p ∧ (¬q)] tylko że nie wiem jak przekształcając to pierwotne zdanie napisać formę ¬(p=>q)

Ratox: @Jack, co ty nie powiesz. Ja nie rozwiązałem tego całego zadania, tylko podałem mu, od czego powinien zacząć Pokazałem, jak zapisać implikacje w inny sposób, tak aby mógł prawa de Morgana zastosować