zadania formalizacja KRZ, Uczelnia
[ Pobierz całość w formacie PDF ]
//-->Celemformalizacjidanej wypowiedzi mowy potocznej jest przedstawienie ― w naszym wypadkuza pomocą symboli KRZ ―formy logicznejtej wypowiedzi.Formalizację zaczynamy od wyróżnieniazdań elementarnych,które wchodzą w składformalizowanej wypowiedzi. Zdaniem elementarnym jest takie zdanie, w którym nie występująwyrażenia odpowiadającefunktorom prawdziwościowym.Na przykład zdaniem elementarnym jest zdanie „Arystoteles był uczniem Platona”, ale nie jest jużnim zdanie „Arystoteles nie lubił jazzu”, ponieważ zawiera słówko „nie”, które wprowadza doformy logicznej tego zdania funktor negacji. Powiemy więc, że zdanie to jestzdaniem złożonym.Czasami zdania z pozoru elementarne są faktycznie złożone. Na przykład zdanie „Zenek oglądatelewizję pijając piwo” można sparafrazować jako „Zenek ogląda telewizję i pije piwo”. Parafrazzwiera spójnik „i”, któremu odpowiada funktor koniunkcji. (Możemy powiedzieć, że w pierwotnymzdaniu koniunkcja ta występuje w przebraniu imiesłowu „pijąc”).Mając to wszystko na uwadze podaj formy logiczne następujących zdań:••„Pójdę do kina lub, jeśli nie będzie padać, wybiorę się na piknik do Lasku Arkońskiego”,„Jeśli Mariola nie zda wszystkich egzaminów lub nie uzyska zaliczenia z ćwiczeń, będziepowtarzała semestr, a jeśli zda wszystkie egzaminy i uzyska zaliczenia z ćwiczeń, ma szansęna stypendium naukowe”,„Nie patrząc na Wacka, Mariola rozmawiała z Zenkiem”,„Jeśli wygramy konkurs o grant, to, o ile nie skorygują nam kosztorysu, zorganizujemywielką konferencję”,„Albo Karol kocha Mariolę lub nie lubi grochówki, albo zaciągnie się do wojska i nie zaznagłodu”,„Cezar zdenerwował się na Kleopatrę lub nie jest prawdą, że jeśli Kleopatra nie dzwoni i niepisze maili, to szykuje się na spotkanie z Pompejuszem”.••••Powodzenia!
[ Pobierz całość w formacie PDF ]