FUNKTORY Katarzyna Radzio Kamil Sulima.

Prezentacja na temat: "FUNKTORY Katarzyna Radzio Kamil Sulima."— Zapis prezentacji:

1 FUNKTORY Katarzyna Radzio Kamil Sulima

2 Zdanie logiczne Za zdanie logiczne uważamy każde stwierdzenie, któremu można przypisać dokładnie jedną z dwóch ocen: prawdę lub fałsz. Oceny te nazywamy wartościami logicznymi zdania. Jeśli zdanie jest prawdziwe to jego wartość logiczną określamy cyfrą 1, natomiast jeśli zdanie jest fałszywe, wtedy określamy jego wartość logiczną cyfrą 0.

3 UWAGA Zdaniami w sensie logicznym nie są:
wypowiedzi gramatycznie pytające wypowiedzi gramatycznie rozkazujące

4 ZDANIA PROSTE I ZŁOŻONE
Zdanie złożone to zdanie, w którym wyrażany jest jakiś związek międzyzdaniowy, zaś zdanie proste to takie, w którym tego związku nie ma. Przykłady zdań prostych: Jaś lubi Małgosię. Każdy człowiek jest ssakiem. Przykłady zdań złożonych: Zosia jest ładna lub mądra. Nieprawda, że Jaś kocha Małgosię.

5 Wyrazy czy wyrażenia, które są przez jakiś funktor wiązane w złożoną całość, nazywamy argumentami tego funktora. Wyróżniamy argumenty nazwowe i zdaniowe.

6 FUNKTOR to wyraz lub wyrażenie, który nie jest ani zdaniem ani nazwą, lecz służy do wiązania jakichś wyrażeń w bardziej złożone. Rodzaje funktorów: -funktor nazwotwórczy -funktor zdaniotwórczy -funktor funktorotwórczy

7 FUNKTOR PRAWDZIWOŚCIOWY
To funktor zdaniotwórczy o argumentach zdaniowych, którego wartość logiczną można jednoznacznie określić na podstawie samej tylko wartości logicznej jego argumentów zdaniowych, niezależnie od treści tych zdań.

8 FUNKTOR NEGACJI Ma tę własność, że w połączeniu ze zdaniem prawdziwym tworzy zdanie fałszywe, zaś w połączeniu z fałszywym tworzy zdanie prawdziwe. Symbol negacji to ~ .

9 W języku potocznym funktorowi negacji odpowiadają wyrażenia:
„nieprawda, że”; „nie jest tak, że”; „… nie …”. -Jan nie jest dziewczynką. -Nieprawda, że Zosia jest brzydka. -Nie jest prawdą, że Zosia nie jest brzydka.

10 Funktor koniunkcji Funktor koniunkcji oznaczamy symbolem Λ.
Zdanie koniunkcyjne (zdanie w postaci „p Λ q”) jest prawdziwe tylko wtedy, gdy obydwa zdania składowe są prawdziwe, zaś fałszywe w pozostałych przypadkach.

11 Funktorowi koniunkcji odpowiadają w języku potocznym następujące wyrażenia: „i”, „oraz”, „a”, „ale”.
-Jan śpi i chrapie. -Pójdę do kina oraz teatru. -Kot miauczy, a pies szczeka.

12 FUNKTOR ALTERNATYWY Funktor alternatywy oznaczamy symbolem V.
Alternatywa (zdanie o postaci „p V q”) jest fałszywa tylko wtedy, gdy oba zdania składowe są fałszywe, zaś prawdziwa w pozostałych przypadkach.

13 Funktorowi alternatywy odpowiadają w języku potocznym wyrażenia: „lub”, „bądź”.
-Jan śpi lub czuwa -Kupię książkę bądź gazetę. -Może pomyśleć o wierszu czy powieści.

14 Funktor implikacji Funktor implikacji oznaczamy symbolem .
Implikacja (zdanie o postaci „p q”) jest fałszywa tylko wtedy, gdy poprzednik implikacji (zdanie przed implikacją) jest prawdziwy, zaś następnik (zdanie po implikacji) fałszywy, zaś prawdziwa w pozostałych przypadkach.

15 Funktorowi implikacji odpowiadają w języku potocznym
wyrażenia: „jeśli … to”, o ile …, to …”, „jak …, to …”. -Jeśli pada deszcz, to jest mokro. -O ile pada deszcz, to jest mokro. -Gdy pada deszcz, to jest mokro. -Jest mokro, gdy pada deszcz. -Jak pada deszcz, to jest mokro. -Jest mokro, o ile pada deszcz. -Jest mokro, jeśli pada deszcz.

16 Funktor równoważności
Funktor równoważności oznaczamy symbolem Równoważność (zdanie o postaci „p q”) jest prawdziwa tylko wtedy, gdy oba zdania składowe mają tę samą wartość logiczną, fałszywa w pozostałych przypadkach.

17 Funktorowi równoważności
odpowiada w języku potocznym wyrażenie: „wtedy i tylko wtedy, gdy”.  -Deszcz pada tylko wtedy, gdy świeci słońce -Prostokąt ma 4 boki wtedy i tylko wtedy, gdy Warszawa jest stolicą Polski -Ptaki są ssakami wtedy i tylko, gdy prostokąt jest kołem