kreska sheffera
majster: Kreska Sheffera:
Wiem jak wyznaczyc alterantywe i negacje, ale nie wiem jak wyznaczyc konicunkcje i implikajcę
tzn.:
p
q = ~~(p
q)=~(p|q) i tutaj stoję nie wiem co dalej czy to jest tak ze teraaz zmienna (p|q)
zastępuje np k i mam ze ~k czyli ~(k
k) czyli k|k czyli (p|q)|(p|q)
a implikację robię tak ze:
p−−>q = ~(p
~q) czyli p|(q|q)