pytanie z matematyki (rachunek zbiorów)

uiouio1 [ Konsul ]

pytanie z matematyki (rachunek zbiorów)

witam, od razu zaznacze ze no ie prosze o wykonanie zadanie, tylko o mala pomoc, jest to koncowka dowodu...

po przejsciach ;) doszedlem do :

~(A => B) i ~(A => C) jak to moge zamienic na jakies przyjemniejsze kwantyfikatory typu i i lub a nie implikacja?

chodzi mi o cos w stylu prawa de morgana, bylo to dawno w liceum i nie umiem uzyc

dziekuje

Didier z Rivii [ life 4 sound ]

po peirwsze czy "i" w zapisie ~(A => B) i ~(A => C) to koniunkcja? bo jesli nie to nie dam glowy ale chyba mozna zapisac z prawa transpozycji ze ~(A => B) to jest (B => A)