Logika studia symbol MrPytanie: Czesc Zaczałem studia i na wykładzie miałem coś takiego jak symbol pierce'a czy jakos tak nie wiem czy dobrze zapisalem no i problem jest taki ze nie moge nic znalezc na ten temat w internecie mozecie podac jakas dobra strone?

MrPytanie: (p→q) ⇔ (∼p ∨ q) czy to jest jakies prawo? cos waznego?

pomagacz: http://www.wolframalpha.com/input/?i=%28P+implies+Q%29+%3C%3D%3E+%28not+P+or+Q%29 jest to tautologia ale z takim prawem się nie spotkałem

MrPytanie: ok dzieki a cos takiego: [p v (p ∧ q)] ⇔ p to tez jest tautologia i dodatkowo mam napisane ze to jest niby prawo pochlaniania ale na wikipedii sa inne przyklady podane wiec nie wiem co to w koncu jest do czego moze mi sie przydac takie prawo pochlaniania? tylko po to ze jak gdzies zobacze [p v (p ∧ q)] to moge traktowac to jako p?

MrPytanie: EUREKA! (p −> q) <=> (~p v g) to Prawo eliminacji implikacji

MrPytanie: [p v (p ∧ q)] ⇔ p zgadza sie to prawo pochłaniania a tam wczesniej nie ma g tylko powinno byc q

Basia: ad. pierwsze pytanie poszukaj też zaprzeczenia implikacji: ∼(p⇒q) ⇔ p∧(~q) (a to już jest bardzo ważne)

Paweł: strzałka Peirce'a