Strona 1 z 1

Zdefiniować implikację i alternatywę

: 4 sie 2023, o 18:16
autor: max123321
Zdefiniować implikację i alternatywę za pomocą negacji i koniunkcji.

Proszę o sprawdzenie poniższego rozwiązania:
\(\displaystyle{ p \Rightarrow q \Leftrightarrow \neg (p \wedge \neg q)}\)
\(\displaystyle{ p \vee q \Leftrightarrow \neg((\neg p) \wedge (\neg q))}\)

Czy tak jest dobrze?

Re: Zdefiniować implikację i alternatywę

: 4 sie 2023, o 21:57
autor: Jan Kraszewski
Dobrze.

JK