miun-logo

2.4.5 Ekvivalenta påståenden




Skriv, med hjälp av reglarna i avsnitt 2.4.3 och definitioner av "och" och "eller", följande på så enkelt sätt som möjligt. Om ett påståendet är en tautologi, skriva att det är ekvivalent med T, en allmän tautologi. Om det är ekvivlanent med en motsägelse, skriva att det är ekvivalent med M, en allmän mötsägelse.
Kontrollera, med hjälp av sanningstabeller, att dina svar är ekvivalent med de ursprungliga påståendena.
[a] (p eller q) och (q eller p)
[b] (p och q) och q
[c] (p eller q) och p
[d] (p eller q) och (p och r)
[e] ((icke p) eller p) eller q
[f] (icke p) och (p och q)
[g] ((icke p) och p) eller q



© Sarah Norell
c/o Pia Heidtmann
MID SWEDEN UNIVERSITY
Department of Engineering, Physics and Mathematics
Mid Sweden University
S-851 70 SUNDSVALL
Sweden

Updated 050912.