2852046710

2. Co każdy logik wiedzieć powinien ... 11

(yx)A(x)

(3 x)A(x) (Vx) ~ A(x) (3x) ~ A(x)

Zadanie

Sprawdź za pomocą diagramów Venna czy poniższe wyrażenie jest prawem logiki:

(Va;)(i4(a;) A B(x)) —► [(Va;)A(:r) A (\/x)B(x)]

Ponieważ sprawdzane wyrażenie ma postać implikacji, możemy założyć w punkcie wyjścia prawdziwość poprzednika tej implikacji (lub fałszywość jej następnika). Załóżmy zatem, że poprzednik implikacji jest prawdziwy. Wówczas prawdziwe jest zdanie (V:r)(j4(a:) A B(x)), tzn. że zbiorem pustym jest ten podzbiór uniwersum, który zawiera przedmioty nie posiadające łącznie własności A wraz z własnością B. Rysujemy diagram, stawiając na obszarach II, III oraz IV ”.

Wyszukiwarka

Podobne podstrony:
2. Co każdy logik wiedzieć powinien ... 10 (3x)A(a;) =~ ({a:: A(x)} — 0) ~ (3x)A(x) = {a;: A(a:)} =
2. Co każdy logik wiedzieć powinien ... 12 Jak możemy zobaczyć, na diagramie zaznaczona została pust
2. Co każdy logik wiedzieć powinien ... 13 dwa zbiory: A = {1,21,35} oraz B = {21, 35, 1}; kolejność
2. Co każdy logik wiedzieć powinien ... 14 Definicja 5. Różnica zbiorów A i B (oznaczana jako A — B)
2. Co każdy logik wiedzieć powinien ... 15 2.3.2. Pojęcie relacji i niektóre własności relacji Każdy
2. Co każdy logik wiedzieć powinien ... 16 Definicja 10. Przeciwdziedzina relacji R jest to zbiór pr
2. Co każdy logik wiedzieć powinien ... 17 Przykłady: relacja bycia rodzeństwem, relacja bycia małżo
2. Co każdy logik wiedzieć powinien ... 18 Definicja 18. Relacja R porządkuje zbiór A wtedy i tylko
2. Co każdy logik wiedzieć powinien ... 32. Co każdy logik wiedzieć powinien ... 2.1. Teoria zdań
2. Co każdy logik wiedzieć powinien ... 4 według dwóch kryteriów; pierwsze to jakość zdania, czyli f
2. Co każdy logik wiedzieć powinien ... 5 mujemy następujące diagramy dla prawdziwości i fałszywości
2. Co każdy logik wiedzieć powinien ... 6 słanek! Reprezentowanie na diagramie prawdziwości przesłan
2. Co każdy logik wiedzieć powinien ... 7 Wszelkie zdania mogą być podzielone na zdania
2. Co każdy logik wiedzieć powinien ... c) wyrażenia, w których jakieś wyrażenie zdaniowe zostało
2. Co każdy logik wiedzieć powinien ... 9 1)    Na każdym miejscu, w którym a występu

więcej podobnych podstron