Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Logika pomoc


  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
1 odpowiedź w tym temacie

#1 madziochna4

madziochna4

    Nowicjusz

  • Użytkownik
  • 2 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 20.04.2011 - 07:58

Sprawdź, czy poniższe rozumowania są poprawne (czy wniosek wynika z przesłanek). Swoją odpowiedź uzasadnij odpowiednimi obliczeniami. Pamiętaj o wyróżnieniu zdań atomowych i napisaniu, jak je symbolizujesz!

1. Słowa są uprzednie w stosunku do swych znaczeń lub znaczenia są wcześniejsze niż słowa, których używamy na ich nazwanie. Gdyby słowa były uprzednie w stosunku do swych znaczeń, to zdania języka nie byłyby dwuznaczne. A zdania języka bywają dwuznaczne. Stąd znaczenia są wcześniejsze niż słowa, których używamy na ich nazwanie.

2. Jeżeli słowa są uprzednie w stosunku do pojęć, które oznaczają, a zwierzęta nie są istotami językowymi, to musimy się zgodzić na to, że zwierzęta nie mają nawet najprostszych pojęć. Zwierzęta jednak są istotami językowymi, a więc jeżeli nie musimy się godzić na to, iż zwierzęta nie mają nawet najprostszych pojęć, to słowa nie są uprzednie w stosunku do pojęć.
mbaranowska89@wp.pl
  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55

#2 octahedron

octahedron

    Wielki Analityk

  • VIP
  • 2068 postów
1145
Starszy Wykładowca I
  • Płeć:Mężczyzna

Napisano 20.04.2011 - 13:01

1.
p - znaczenia są wcześniejsze niż słowa
q - zdania języka bywają dwuznaczne
<br />\\\sim p \Rightarrow \sim q = \sim (\sim p)\vee \sim q=p\vee \sim q=q \Rightarrow p<br />\\
albo wprost z zasady transpozycji
<br />\\\sim p \Rightarrow \sim q=q \Rightarrow p<br />\\
czyli jeśli zdania języka bywają dwuznaczne, to znaczenia są wcześniejsze niż słowa

2.
p - słowa są uprzednie w stosunku do pojęć
q - zwierzęta są istotami językowymi
r - zwierzęta nie mają nawet najprostszych pojęć
<br />\\(p\wedge \sim q)\Rightarrow r=\sim (p\wedge \sim q)\vee r=\sim p\vee \sim (\sim q)\vee r=\sim p\vee q \vee r<br />\\
czyli jeśli q jest prawdziwe, a r fałszywe, to p może być zarówno prawdziwe, jak i fałszywe, czyli wniosek nie wynika z przesłanek
  • 1