Funktory logika dla prawników, Notatki z Logika

Pobierz Funktory logika dla prawników i więcej Notatki w PDF z Logika tylko na Docsity!

funktory

FUNKTORY PRAWDZIWOŚCIOWE

funktory prawdziwościowe są to funktory zdaniotwórcze, których argumentami są zdaniami, spełniające warunek, że

przy danej wartości logicznej argumentów zdaniowych jednoczenie określana jest wartość logiczna zdania

zbudowanego z tych funktorów oraz argumentów zdaniowych

0 - fałsz

1 - prawda

NEGACJA

p ~p 0 1 1 0

ALTERNATYWNA (zwykła) (spójnik „LUB”)

p q p V q 0 0 0 0 1 1 1 0 1 1 1 1

KONIUNKCJA (spójnik „i”)

p q p^q 0 0 0 0 1 0 1 0 0 1 1 1

IMPLIKACJA (spójnik „jeżeli”)

p q p⇒q 0 0 1 0 1 1

p q p⇒q 1 0 0 1 1 1

RÓWNOWAŻNOŚĆ (wtedy i tylko wtedy)

p q p < = > q 0 0 1 0 1 0 1 0 0 1 1 1

DYSJUNKCJA (bądź)

p q p/q 0 0 1 0 1 1 1 0 1 1 1 0

WYKLUCZAJĄCA (ROZŁĄCZNA) (spójnik „albo”)

p q p | q 0 0 0 0 1 1 1 0 1 1 1 0

INTERPRETACJA SPÓJNIKÓW

„i”, „oraz” - koniunkcja (sformułowanie „A” i „B” oznacza, że warunki lub zdarzenia A i B musza mieć miejsce razem,

łącznie

„lub” - alternatywa zwykła („występuje A lub B” oznacza, że 1)występuje A; 2) występuje B; występuje A i B”)

„albo” - alternatywa rozłączna („występuje A albo B” oznacza, że 1) występuje A; 2) występuje B)

jeżeli zarazem nieprawda ze jan jest prawnikiem lub jan jest weterynarzem to nieprawda ze jan jest prawnikiem lub

nieprawda ze jan jest weterynarzem

jeżeli zarazem nieprawda ze jan jest lekarzem i jan jest farmaceuta jest tożsame z jan jest lekarzem lub jan jest

farmaceuta

p q ~(p^q) p v q a<>b

jeżeli jan jest lekarzem i jan jest farmaceuta i nie jest lekarzem to jan jest farmaceuta