Typ tekstu: Książka
Autor: Zygmunt Ziembiński
Tytuł: Logika praktyczna
Rok wydania: 1995
Rok powstania: 1956
nie jest prawdą, że:
%x : Jeśli x jest kolorowe, to x jest żółte,
bo może być przecież tak, że pewien przedmiot jest kolorowy, a nie jest żółty. W takim przypadku można byłoby orzec tylko, że dla niektórych x jest tak, że jeśli x jest kolorowe, to x jest żółte. Dla oznaczenia, że dana funkcja zdaniowa przy niektórych przynajmniej podstawieniach nazw na miejsce danej zmiennej zmienia się w zdanie prawdziwe, używa się w logice znaku zwanego kwantyfikatorem szczegółowym w odniesieniu do danej zmiennej czy zmiennych. Kwantyfikator szczegółowy odnoszony do zmiennej x zapisuje się w postaci albo ť x, ;x . Nie jest prawdą, że
nie jest prawdą, że:<br>%x : Jeśli x jest kolorowe, to x jest żółte,<br>bo może być przecież tak, że pewien przedmiot jest kolorowy, a nie jest żółty. W takim przypadku można byłoby orzec tylko, że dla niektórych x jest tak, że jeśli x jest kolorowe, to x jest żółte. Dla oznaczenia, że dana funkcja zdaniowa przy niektórych przynajmniej podstawieniach nazw na miejsce danej zmiennej zmienia się w zdanie prawdziwe, używa się w logice znaku zwanego kwantyfikatorem szczegółowym w odniesieniu do danej zmiennej czy zmiennych. Kwantyfikator szczegółowy odnoszony do zmiennej x zapisuje się w postaci &lt;gap&gt; albo ť x, ;x . Nie jest prawdą, że
zgłoś uwagę
Przeglądaj słowniki
Przeglądaj Słownik języka polskiego
Przeglądaj Wielki słownik ortograficzny
Przeglądaj Słownik języka polskiego pod red. W. Doroszewskiego