Matematyka.pl

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

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

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

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]}\)

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

gg1985 pisze:Co oznacza ta pionowa kreska ?

a|b - b jest podzielne przez a

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