Logika

[Kowal1998]

Określ prawdziwość następującego zdania

Jeżeli z faktu, że dobrze rozumiem klasyczny rachunek zdań i algebrę zbiorów wynika, że dostanę piątkę z kolokwium to wówczas jeśli dostanę piątkę z kolokwium to dobrze rozumiem klasyczny rachunek zdań i algebrę zbiorów.

Mam pytanie, czy dobrze mam to:

p- rozumiem rachunek zdań
q- rozumiem algebrę zbiorów
r- dostanę piątkę

\(((p \wedge q) \So r) \iff (r \So (p \wedge q)\)

[Jerry]

Raczej:

\(((p \wedge q) \So r) \Rightarrow (r \So (p \wedge q)\)

Pozdrawiam