logika andre: a co w takim przypadku będzie? ~(p⇒q)⇔(p∧~q)

Bogdan: p q ~q p⇒q ~(p⇒q) = s p⋀(~q) = t s ⇔ t 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1

andre: czy możesz wyjaśnić co to jest s i t?

Bogdan: s, t to symbole zdań, s to zdanie ~(p⇒q), t to zdanie p⋀(~q). Wprowadziłem je dla skrócenia zapisu. Np. dla oznaczenia zdania: b² − 4ac w odniesieniu do trójmianu kwadratowego stosuje się literę Δ.

andre: dziękuję za wyjaśnienie czy można się z Panem jakoś skontaktować w inny sposób?

Bogdan: Można skontaktować się ze mną poza forum wyłącznie poprzez pocztę elektroniczną. Mój adres dla uczestników tego forum: matura@vp.pl