czy schemat jest tautologią?? czy to jest dobrze? kasiaaa: [ ( p ⋀ ∼s ) ⇒ q ] ⇒ { [ ( r ⋁ s ) ⇒ ∼q ] ⇒ ( p ⇒ ∼r ) } mi wychodzi że schemat nie jest tautologią