Prawdziwość implikacji
: 15 sie 2007, o 15:42
Zacząłem czytać trochę nowy podręcznik, pierwsza jest logika, poczytałem i porobiłem zadania, czy ktoś by mógł sprawdzić jedno z nich:
1.
\(\displaystyle{ \begin{tabular}{ c | c }
$p$ & $p p$ \\
\hline
1 & 1 \\
0 & 1 \\
\end{tabular}}\)
b)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ (p q) p$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 0 & 1 \\
1 & 0 & 0 & 1 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)
c)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ p (p\vee q)$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 1 & 1 \\
1 & 0 & 1 & 1 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)
d)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ p (p\wedge q)$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 0 & 1 \\
1 & 0 & 0 & 0 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)
1.
a)Niech p i q będą pewnymi zdaniami, o których nie wiemy, czy są prawdziwe czy nie. Zbadaj prawdziwość zdań w zależności od wartości logicznych zdań p i q.
a) \(\displaystyle{ p p}\)
b) \(\displaystyle{ (p q) p}\)
c) \(\displaystyle{ p (p q)}\)
d) \(\displaystyle{ p (p q)}\)
\(\displaystyle{ \begin{tabular}{ c | c }
$p$ & $p p$ \\
\hline
1 & 1 \\
0 & 1 \\
\end{tabular}}\)
b)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ (p q) p$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 0 & 1 \\
1 & 0 & 0 & 1 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)
c)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ p (p\vee q)$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 1 & 1 \\
1 & 0 & 1 & 1 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)
d)
\(\displaystyle{ \begin{tabular}{ c | c | c | c }
$p$ & $q$ & $p q$ & $ p (p\wedge q)$ \\
\hline
0 & 0 & 0 & 1 \\
0 & 1 & 0 & 1 \\
1 & 0 & 0 & 0 \\
1 & 1 & 1 & 1 \\
\end{tabular}}\)