prawo logiczne na jutro

[OlussiaO]

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

czy ktos pomoze stwierdzic czy to jest prawo logiczne i udowodnic tabelka
bardzo prosze

[AniaG]

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]

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]

dzieki postram sie nas przyszlosc zapamietac