1 / 17

FUNKTORY

FUNKTORY. Katarzyna Radzio. Kamil Sulima. 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 .

Download Presentation

FUNKTORY

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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 nazwowei 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 „pq”) 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 „pq”) 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

More Related