Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Symbolika logiczna/wartość logiczna

STUDIA

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
2 odpowiedzi w tym temacie

#1 Patrykos

Patrykos

    Wymierny

  • Użytkownik
  • 78 postów
1
Neutralny

Napisano 10.01.2014 - 23:12

A. Zapisz nastepujące zadania w symbolicze logicznej i określ ich wartość logiczną:

 [(3\geq1)\wedge(sin(-\pi)=0)]

B. Napisz zaprzeczenia

C. Określ ich wartość logiczną zdania i napisz jego zaprzeczenie

[(x^2\geq x)]

D.Wykaż, że dla dowolnych zdań p i q następująca implikacja jest zawsze prawdziwa

r\Rightarrow[r\Rightarrow(r\wedge t)]

 

 

 


  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55

#2 Jarekzulus

Jarekzulus

    Wielki Analityk

  • +Mods
  • Redaktor
  • 4210 postów
3410
Profesor
  • Płeć:Mężczyzna

Napisano 11.01.2014 - 00:43

A)  1\wedge 1= 1 prawda i prawda daje prawdę

 

B) zaprzeczenie \[(3<1)\vee (sin(-\pi)\neq 0)\]

 

C) Fałsz (0) np dla x= \frac{1}{2}  x^2<x

 

zaprzeczenie x^2<x  też fałsz

 

D) Metoda 0,1 ci w tym pomoże. Odsyłam do definicji poszczególnych funktorów.

 

Poza tym gdy zdanie t jest fałszywe to całość jest fałszywa

 

1\Rightarrow \[1\Rightarrow (1\wedge 0)\]    więc 1\Rightarrow \[1\Rightarrow 0\] czyli 1\Rightarrow 0 a to jest fałsz. Gdyby w środku była alternatywa była by to tautologia.

 

 

 

p.s.

 

D.Wykaż, że dla dowolnych zdań p i q następująca implikacja jest zawsze prawdziwa r\Rightarrow[r\Rightarrow(r\wedge t)]

 

piszesz o p,q a używasz t,r więc coś tu nie halo.


  • 1

:wave: :wave: :wave: Jeśli rzuciłem choć promyczek światła na problem który postawiłeś - podziękuj. pre_1433974176__syg.jpgNad kreską


#3 Patrykos

Patrykos

    Wymierny

  • Użytkownik
  • 78 postów
1
Neutralny

Napisano 11.01.2014 - 09:52

piszesz o p,q a używasz t,r więc coś tu nie halo.

Mój błąd podczas przepisywania zadania miałem jeszcze jedno zadanie i pomyliłem się. Tylko t i r.

Dzięki za pomoc w rozwiazaniu


Użytkownik Patrykos edytował ten post 11.01.2014 - 09:52

  • 0