v -----p lub q
^ -----p i q
<=> --tylko, i tylko wtedy.
=> ----jeżeli p to q
~ ------negacja
Zdanie logiczne nazywamy tautologią , jeśli jest zawsze prawdziwe, niezależnie od wartości logicznych zmiennych zdaniowych w nim występujących.
- należy
nie należy
zawiera się
suma
część wspólna
zbiór pusty
v -----p lub q
^ -----p i q
<=> --tylko, i tylko wtedy.
=> ----jeżeli p to q
~ ------negacja
Zdanie logiczne nazywamy tautologią , jeśli jest zawsze prawdziwe, niezależnie od wartości logicznych zmiennych zdaniowych w nim występujących.
- należy
nie należy
zawiera się
suma
część wspólna
zbiór pusty
v -----p lub q
^ -----p i q
<=> --tylko, i tylko wtedy.
=> ----jeżeli p to q
~ ------negacja
Zdanie logiczne nazywamy tautologią , jeśli jest zawsze prawdziwe, niezależnie od wartości logicznych zmiennych zdaniowych w nim występujących.
- należy
nie należy
zawiera się
suma
część wspólna
zbiór pusty