Wyniki wyszukiwania

…otwórczy]] od argumentów zdaniowych taki, że [[wartość logiczna]] [[Zdanie logiczne|zdania]] utworzonego za jego pomocą zależy tylko od wartości logicznych zda Funktorami ekstensjonalnymi są więc np. spójniki [[Klasyczny rachunek zdań|klasycznego rachunku zdań]] (koniunkcji <math>\la …

…otwórczy]] od argumentów zdaniowych taki, że [[wartość logiczna]] [[Zdanie logiczne|zdania]] utworzonego za jego pomocą zależy nie tylko od wartości logicznych …również od przekonań Weroniki. Za to np. funktor „Jest prawdą, że” czy też spójniki [[Klasyczny rachunek zdań|klasycznego rachunku zdań]] (koniukncji <math>\la …

…ym]], jak i [[warunek wystarczający|dostatecznym]] przesłanki. To [[zdanie logiczne|zdanie]] zapisuje się za pomocą spójnika '''wtedy i tylko wtedy''' ('''wtw' [[Kategoria:Spójniki logiczne]] …

Jako że w bramki logiczne NAND i NOR są tańsze w produkcji niż AND i OR, a ponadto zapewniają stałość [[Kategoria:Spójniki logiczne]] …

…z innymi wyrażeniami, nazywanymi ''argumentami funktora'', tworzy [[Zdanie logiczne|zdanie]] lub [[funkcja zdaniowa|funkcję zdaniową]]<ref name="epwn">{{Encykl …ostały w odrębnym artykule. W zależności od ilości argumentów istnieją tak spójniki, jak i predykaty jedno-, dwu- i więcej argumentowe{{odn|Koziński|1970|s=74} …

…name = uw1 />, alternatywa łączna<ref group=uwaga name = uw1 /> – [[zdanie logiczne]] o postaci ''p lub q'', gdzie ''p'', ''q'' są zdaniami. W [[logika matemat # Zdanie logiczne postaci <math>p\,\lor\,q,</math> gdzie <math>p</math> i <math>q</math> są… …

…matematycznej]], w którym formuły reprezentujące [[zdanie logiczne|zdania logiczne]] mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru …język KRZ np. do <math>\to</math> i <math>\neg</math> traktując pozostałe spójniki jako wtórne: …

…od implikacji formalnej, tj. [[Implikacja logiczna|wynikania]]) – [[zdanie logiczne]] lub [[funkcja zdaniowa]] powstałe przez połączenie dwóch zdań <math>p</ma …ikiem ekstensjonalnym]] – implikacja przyjmuje [[wartość logiczna|wartości logiczne]] zależące jedynie od wartości logicznych łączonych zdań. …

Inne funktory logiczne definiowane są w sposób następujący: [[Kategoria:Spójniki logiczne]] …

[[Kategoria:Spójniki logiczne]] …

…tory modalne''. Funktor modalny jest to funkcja, która przypisuje wartości logiczne [[Funkcja boolowska#Termy|termom boolowskim]], które same mogą zawierać fun # [[stała logiczna|stałe logiczne]] stanowią funktory zdaniotwórcze: …

'''Zdanie logiczne''' – podstawowa kategoria syntaktyczna, będąca jednocześnie formą [[wypowie …wymogów [[Język (logika)|języków formalnych]]. I tak można określać zdanie logiczne jako wyrażenie (niekoniecznie o skończonej długości), złożone z symboli dan …

'''Koniunkcja''' – [[zdanie logiczne|zdanie]] złożone mające postać ''p i q'', gdzie ''p, q'' są zdaniami. W [[r …iej jednak przyjmuje się, że koniunkcja jest działaniem w zbiorze [[zdanie logiczne|zdań]] lub [[funkcja zdaniowa|funkcji zdaniowych]] (stąd nazwa: [[funktor… …

[[Kategoria:Spójniki logiczne]] …

…których wartość logiczna jest równa 1, niezależnie od tego, jakie wartości logiczne mają zdania proste, z których się składają. Takie zdania nazywa się ''prawa ; Funktory zdaniotwórcze (spójniki zdaniowe) …

…(<math>p,</math> <math>q,</math> <math>r</math> itd.), wszystkie spójniki logiczne (<math>\land,</math> <math>\lor,</math> <math>\to,</math> <math>\equiv,</ma …

* stałych logicznych (spójniki prawdziwościowe [[Rachunek zdań|rachunku zdań]] i [[kwantyfikator]]y), …za grupa napisów poprawnie zbudowanych to ''termy'', a druga to ''[[Zdanie logiczne|zdania]]''. Przykładowy schemat kwantyfikatorowy zdania: ''Nie ma czegoś,… …

…azwa pospolita|apelatywy]] (nazwy lub [[epitet]]y), [[Spójnik (część mowy)|spójniki]] oraz [[rodzajnik]]i. Rozwinęli również wyrafinowaną doktrynę ''[[lektón]] …e są analizowane przez Russella jako egzystencjalnie mierzalne konstrukcje logiczne. Takie wyrażenia denotują w sensie, że istnieje obiekt, który odpowiada opi …