Zagadnienia ze Wstępu do logiki: 1. Język: akt komunikacyjny, pojęcie znaku, pojęcie języka i jego funkcje, język sformalizowany i niesformalizowany, język przedmiotowy i metajęzyk...
Klasyczny rachunek predykatów KRZ jest teorią stanowiącą wstępną część logiki formalnej, część zakładaną przez inne teorie. Przypomnijmy, jest on teorią zwiążków logicznych między zdniami dowolnego języka naturalnego. W centrum swego zainteresowania stawia strukturę, formalną zdań złożonych, konce...
Definicja składa się zasadniczo z trzech części: członu zawierającego definiowane wyrażenie, zwanego definiendum . Członu definiującego, zwanego definiensem . Wyrażenie łączącego obydwa te człony, zwanego spójką definicyjną . W najprostszym przypadku spójka definicyjna ma postać równości lub ró...
Skrócona metoda 0-1. można przedstawić w postaci następującego algorytmu: Załóż, ze badana formuła nie jest tautologią (tj. istnieje przyporządkowanie wartości logicznych zmiennych zdaniowym, przy którym przyjmuje ona wartość 0). Wnioskując „wstecz” ustal, jakie
Def. 4) (Nazwa w sensie szerokim) Nazwą nazywamy dowolne wyrażenie, które może wystąpić w roli podmiotu lub orzecznika w zdaniu podmiotowo-orzecznikowym, czyli zdaniu o budowie: jest np. Fido jest psem Fido jest łagodny Pies jest ssakiem ...
Orygenes (Contra Celsum VII, 15): Jeśli wiesz, że umarłeś, to umarłeś. Jeśli wiesz, że umarłeś, to nie umarłeś. A zatem, nie wiesz, że umarłeś. O dedukcyjnym charakterze tego wnioskowania przekonujemy się wykazując, że jest ono oparte na regule niezawodnej, a mianowiecie: p → q, p → q → (p → q)...
