prawo logiczne na jutro

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
OlussiaO
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 18 wrz 2007, o 16:26
Płeć: Kobieta
Lokalizacja: polska

prawo logiczne na jutro

Post autor: OlussiaO » 18 wrz 2007, o 16:31

[((pvq)=>r) ^(p^q)]=>r

czy ktos pomoze stwierdzic czy to jest prawo logiczne i udowodnic tabelka
bardzo prosze
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

AniaG
Użytkownik
Użytkownik
Posty: 7
Rejestracja: 17 wrz 2007, o 16:46
Płeć: Kobieta
Lokalizacja: Brzeg

prawo logiczne na jutro

Post autor: AniaG » 18 wrz 2007, o 19:09

tak to jest prawo logiczne :)
dowód
p | q | r | pVq | (pVq)=>r | p^q | ((pVq)=>r)^(p^q) | [((pVq)=>r)^(p^q)]=>r
1 1 1 1 1 1 1 1
1 1 0 1 0 1 0 1
1 0 1 1 1 0 0 1
0 1 1 1 1 0 0 1
1 0 0 1 0 0 0 1
0 1 0 1 0 0 0 1
0 0 1 0 1 0 0 1
0 0 0 0 1 0 0 1



ma nadzieje ze moja niby tabelka jest czytelna
[/center]

Kris-0
Użytkownik
Użytkownik
Posty: 399
Rejestracja: 24 gru 2006, o 11:16
Płeć: Mężczyzna
Podziękował: 28 razy
Pomógł: 82 razy

prawo logiczne na jutro

Post autor: Kris-0 » 18 wrz 2007, o 19:58

AniuG, jest czytelniejszy sposób nic twojemu nie ujmując.
przykład niekoniecznie tej formy zdaniowej:

Kod: Zaznacz cały

egin{tabular}{ c | c | c | c | c| c | c | c }

  $p$ & $q$ & $r$ & $(p Rightarrow q)$ & $(q Rightarrow r)$ & $overbrace{(p Rightarrow q)wedge(q Rightarrow r)}^A$ & $overbrace{(p Rightarrow r)}^B$ & $A Rightarrow B$ \
hline
  1 & 1 & 1 & 1 & 1 & 1 & 1 & 1\
  1 & 1 & 0 & 1 & 0 & 0 & 0 & 1\
  1 & 0 & 1 & 0 & 1 & 0 & 1 & 1\
  1 & 0 & 0 & 0 & 1 & 0 & 0 & 1\
  0 & 1 & 1 & 1 & 1 & 1 & 1 & 1\
  0 & 1 & 0 & 1 & 0 & 0 & 1 & 1\
  0 & 0 & 1 & 1 & 1 & 1 & 1 & 1\
  0 & 0 & 0 & 1 & 1 & 1 & 1 & 1\
end{tabular}
\(\displaystyle{ \begin{tabular}{ c | c | c | c | c| c | c | c }

$p$ & $q$ & $r$ & $(p q)$ & $(q r)$ & $\overbrace{(p q)\wedge(q r)}^A$ & $\overbrace{(p r)}^B$ & $A B$ \\
\hline
1 & 1 & 1 & 1 & 1 & 1 & 1 & 1\\
1 & 1 & 0 & 1 & 0 & 0 & 0 & 1 \\
1 & 0 & 1 & 0 & 1 & 0 & 1 & 1\\
1 & 0 & 0 & 0 & 1 & 0 & 0 & 1\\
0 & 1 & 1 & 1 & 1 & 1 & 1 & 1\\
0 & 1 & 0 & 1 & 0 & 0 & 1 & 1\\
0 & 0 & 1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 1 & 1 & 1 & 1 & 1\\
\end{tabular}}\)

Jeśli masz ochotę to możesz posłużyć sie tym schematem

AniaG
Użytkownik
Użytkownik
Posty: 7
Rejestracja: 17 wrz 2007, o 16:46
Płeć: Kobieta
Lokalizacja: Brzeg

prawo logiczne na jutro

Post autor: AniaG » 18 wrz 2007, o 21:52

dzieki postram sie nas przyszlosc zapamietac

ODPOWIEDZ