Mata

Cześć wszystkim [cya]
Mam pytanie dotyczące zdań logicznych.
Mam coś takiego 6|30 ^ 5|30 co to są te kreski między 6 i 30 oraz 5 i 30 bo nie wiem??
(znaczy o te: | - pionowe kreski)

Alternatywa ??
(choć matematycznie powinna wyglądać tak: v )

//Dopisane do postu poniżej:
~ - negacja (lub też - oraz ,- oraz nadkreślenie)
v - alternatywa
^ - koniunkcja (odwrócone v)
=> - implikacja
<=> - równoważność

Nie to jest koniunkcja (^ znaczek to koniunkcja)

| oznacza 'jest podzielnikiem'
Czyli 6 jest podzielnikiem 30 i 5 jest podzielnikiem 30.
Jest to zdanie logicznie prawdziwe.

Dzięki bardzo CD o to mi chodziło :)