Zaprzeczenie implikacji:
[tex]p\Rightarrow q[/tex]
to:
[tex]p\ \wedge\sim q[/tex]
Zadanie 1
[tex]\textbf{1}\Rightarrow\textbf{0}[/tex]
Implikacja jest fałszywa. Zaprzeczenie implikacji:
[tex]2^{-3}=0,125\ \wedge\ \log_38\neq2[/tex]
Zadanie 2
[tex]\textbf{1}\Rightarrow\textbf{0}[/tex]
Implikacja jest fałszywa. Zaprzeczenie implikacji:
[tex](-3)^2=3^2\ \wedge\ (-3)\neq3[/tex]
Zadanie 3
[tex]\textbf{0}\Rightarrow\textbf{0}[/tex]
Implikacja jest prawdziwa. Zaprzeczenie implikacji:
[tex]3<2\ \wedge\ 3\cdot(-1)\leq2\cdot(-1)[/tex]
Zadanie 4
[tex]\textbf{1}\Rightarrow\textbf{1}[/tex]
Implikacja jest prawdziwa. Zaprzeczenie implikacji:
[tex]10\geq1\ \wedge\ \log10<\log1[/tex]
-----------------------------------------------------------------------------------------
Implikacja jest fałszywa tylko wtedy, gdy z prawdy wynika fałsz (1 => 0).
Zaprzeczeniem zdania prawdziwego jest zdanie fałszywe.
Zaprzeczeniem zdania fałszywego jest zdanie prawdziwe.
