Znajdz zaprzeczenie

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Kikz
Użytkownik
Użytkownik
Posty: 95
Rejestracja: 21 kwie 2007, o 14:26
Płeć: Mężczyzna
Lokalizacja: Gdynia
Podziękował: 30 razy
Pomógł: 1 raz

Znajdz zaprzeczenie

Post autor: Kikz »

Mam niuans z zadaniem o tresci: Znajdz zaprzeczenie zdan:
Jezeli kupie banany, to kupie mandarynki i nie kupie jablek

to czy istnieje tylko jedna poprawna odpowiedz a mianowicie:
kupie banany o nie kupie mandarynek lub kupie jablka

czy moze byc kilka zaprzeczec np:
Jezeli nie kupie bananow, to kupie mandarynki lub jablka?

srry ze tak banalne, ale za odpowiedz bede wielce wdzieczny
Awatar użytkownika
Undre
Użytkownik
Użytkownik
Posty: 1430
Rejestracja: 15 lis 2004, o 02:05
Płeć: Mężczyzna
Lokalizacja:
Podziękował: 3 razy
Pomógł: 92 razy

Znajdz zaprzeczenie

Post autor: Undre »

przełóż to na odpowiedni zapis :

kupie banany - a
kupie mandarynki - b
kupie jabłka c

jeżeli a, to b i negacja c

całość zanegujesz i masz odp
Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

Znajdz zaprzeczenie

Post autor: Xfly »

\(\displaystyle{ \neg [(a b) c] \iff (a b) c \iff a b c}\)

Czyli kupie banany i nie kupie mandarynek lub kupie jabłka.
Jan Kraszewski
Administrator
Administrator
Posty: 34277
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5203 razy

Znajdz zaprzeczenie

Post autor: Jan Kraszewski »

Xfly pisze:\(\displaystyle{ \neg [(a b) c] \iff (a b) c \iff a b c}\)

Czyli kupie banany i nie kupie mandarynek lub kupie jabłka.
Raczej
\(\displaystyle{ \dots\iff (a b) c}\)
czyli
Kupię jabłka lub (kupię banany i nie kupię mandarynek).

JK
PS. Zapis
\(\displaystyle{ a b c}\)
jest niepoprawny ze względu na swoją niejednoznaczność.
Xfly
Użytkownik
Użytkownik
Posty: 174
Rejestracja: 13 mar 2006, o 20:44
Płeć: Mężczyzna
Lokalizacja: Nowogard
Podziękował: 33 razy
Pomógł: 10 razy

Znajdz zaprzeczenie

Post autor: Xfly »

Zgadzam się z przedpostem ten zapis bez nawiasów jest nie jednoznaczny, przepraszam za błąd.
ODPOWIEDZ