tautologia grubcio: (~p \/ q ) => (~p ^~q) wyszlo mi ze to nie jest tautologia, moze ktos potwierdzic?

grubcio: tam w drugim jest (~p i ~q) i jako znak iloczynu

karobert: to nie jest tautologia dla p=0 i q=1 wychodzi 0 oraz dla p=1 i q=1 wychodzi 0

grubcio: no tak i mi wyszlo pozdrawiam, grubcio (pomocnik janusza korwina mikke)

grubcio: jeszcze jedno: zapisac zaprzeczenie bez uzycia symbolu negacji i okreslic wartosc logiczna ⋁ (|x−2|>2) ∧⋀ (x²−4<0) x∊R x∊R trzeba tu uzyc prawa de morgana czy cos takiego? jak tak to jak.

grubcio: czy zapisanie bez symbolu negacji to bedzie tak? ⋀ ( |x−2| ≤ 2 ) ∨ ⋁ ( x² − 4 ≥ 0 ) x∊R x∊R i czy przy negacje zawsze odwracam kwantyfikatory

grubcio: a i jeszcze czy wartosci logincza zdania to prawda? w(p) = 0 w(q) = 1 0 ∨ 1 = 1

grubcio:

Aga1.: Wydaje mi się,że dobrze.