Mis on Converse on tingimuslik avaldus ?

Traditsioonilise loogika, matemaatikud kasutada suurtähti kui kohatäited "lihtne avaldusi," mis on lihtsad deklaratsioonide fakt.Näiteks "P" võib kandideerida avaldus "See arv on kolmnurk" ja "Q" võib kandideerida avaldus "See arv on kolmest küljest."

tingimuslik Avaldused

  • Tingimisi avaldusegaon mis tahes avalduse vormi "If P, siis Q", kus P ja Q on lihtne avaldused.P nimetatakse "hüpoteesi," ja Q on "järeldusele." Kui te kasutate mõisted eelmise näiteid P ja Q, "If P, siis Q" tähendab "Kui see näitaja on kolmnurk, siis onkolm külge. "

tulenevad New tingimuslik Avaldused

  • Arvestades tahes tingimisi avalduse, võite alati saada kolm muud tingimisi avaldused sellest, kokku neli erinevat tüüpi: algne väide, tema" vestelda "selle"inverse" ja selle "contrapositive."

vastupidist tingimusjuurdepääsu avaldus

  • Ehitada vastupidist "If P, siis Q," sa lihtsalt vahetada P Q, saades "Kui Q,siis P ", mis tähendab siin" Kui see arv on kolmest küljest, siis on kolmnurk. "Kui tingimuslik väide on tõ

    ene, siis selle vestelda võib olla tõsi, kuid see ei ole tingimata tõsi.Näiteks võib see olla tõsi, et "Kui on suur lumetorm, siis nad tühistada koolis." Aga see ei ole ilmselgelt oleks tõsi, et "Kui nad tühistada kooli, siis on suur lumetorm."

pöördvõrdeline tingimusjuurdepääsu avaldus

  • Ehitada pöördvõrdeline "kui P, siis Q," sa lihtsalt tühista P ja Q, saades "Kui ei ole P, siis ei Q", mis tähendab siin "Kui see näitajaei ole kolmnurk, siis see ei ole kolme külge. "Kui tingimuslik väide on tõene, siis selle pöördvõrdeline võib olla tõsi, kuid see ei ole tingimata tõsi.Tagasi märge "Kui on suur lumetorm, siis nad tühistada koolis." On selge, et see ei oleks tõsi, et "Kui puudub suur tuisk, siis nad ei tühista kooli", sest kool saab tühistada mõnedmuul põhjusel, näiteks üleujutuse.

Contrapositive on tingimuslik avaldus

  • Ehitada contrapositive ja "If P, siis Q", siis kas võtta pöördvõrdeline vestelda, või vastupidist pöördvõrdeline, saades ", kui ei ole Q,siis ei P ", mis tähendab siin" Kui see arv ei ole kolme külge, siis see ei ole kolmnurk. "Kui tingimuslik väide on tõene, siis selle contrapositive on tingimata tõsi ka.Asjaolu, et "Kui on suur lumetorm, siis nad tühistada kooli" tõttu on tõsi, et "Kui nad ei tühista koolis, siis ei ole suuri tuisk on toimunud."

Resources

  • Oak Ridge National Laboratory Computer Science and Matemaatika osakond: tingimisi avalduse vormid
73
0
0
Kolledž