Logika – definicje
W r-ku zdań mamy zmienne zdaniowe – p, q, r, s oraz funktory(odp. spójnikom) ~negacja(nie prawda, że):~p, p`, Np., p; wart. log 0.^koniunkcja (i):p^q, Kpq, p&qalternatywa(lub):pq, p+q, Apq implikacja(jeżeli…to..) pq, pq, Cpq= tożsamość(wtedy i tylko wtedy gdy…) p=q, Epq^x, x,x,… Czytaj dalej