Napisz zaprzeczenie zdań

gg1985 · Post autor: **gg1985** » 6 paź 2006, o 11:17

Witam

1. \(\displaystyle{ (p\vee q) r}\)

2. \(\displaystyle{ \forall a,b,c C [(a|b) (b|c) a|c]}\)

Z góry dzięki.

Pozdrawiam

Post autor: **Lady Tilly** » 6 paź 2006, o 11:31

W pierwszym korzystasz z pawa zaprzeczenia implikacji:
\(\displaystyle{ (p{\vee}q){\wedge}{\sim}r}\)

mol_ksiazkowy · Post autor: **mol_ksiazkowy** » 6 paź 2006, o 14:49

2. \(\displaystyle{ \exists a,b,c C \ [(a|b) (b|c) a|c]}\)

boo007 · Post autor: **boo007** » 6 paź 2006, o 21:26

mol_ksiazkowy pisze:2. \(\displaystyle{ \exists a,b,c C \ [(a|b) (b|c) a|c]}\)

Po uproszczeniu:
2. \(\displaystyle{ \exists a,b,c C \ [(a|b) (b|c) a|c]}\)

gg1985 · Post autor: **gg1985** » 7 paź 2006, o 11:50

Co oznacza ta pionowa kreska ? I dlaczego trzeba zamienić kwantyfikator ?

Post autor: **Calasilyar** » 8 paź 2006, o 23:44

gg1985 pisze:Co oznacza ta pionowa kreska ?

a|b - b jest podzielne przez a

andzieg · Post autor: **andzieg** » 9 paź 2006, o 09:16

Zmieniamy duży kwantyfikat na mały poniewaz korzystamy z prawa de Morgana dotyczacego zaprzeczenia duzego kwantyfikatora.