Z Wikipedii
Dowód wprost, dowód zwyczajny lub klasyczny, to inna od dowodu nie wprost forma dowodzenia w systemie założeniowym rachunku zdań, w której prawdziwość tezy dowodzi się bezpośrednio poprzez dedukcję - z założeń twierdzenia i aksjomatów teorii (ustalonych reguł).
[edytuj] Przykład dowodzenia metodą wprost w klasycznym rachunku zdań:
 |
(schemat zdaniowy) |
1.  |
(pierwsze założenie w schemacie) |
2.  |
(drugie założenie w schemacie) |
3.  |
(zast. reguły negowania implikacji z wiersza 1.) |
4.  |
(zast. reguły opuszczania koniunkcji z wiersza 3.) |
5.  |
(zast. reguły opuszczania koniunkcji z wiersza 3.) |
6.  |
(zast. reguły opuszczania negacji z wiersza 5. prowadzące do uzyskania tezy schematu, a zatem i wniosku, iż musi być tautologią) |
|
"Dziennik Polski" z dodatkiem o Janie Pawle II
|
W czwartek 16 października br. wraz z "Dziennikiem Polskim" (Wydawnictwo Jagiellonia SA) ukaże się bezpłatny dodatek pt. "Jan Paweł II cuda".
|
|
"Globtroter" zmieni wydawcÄ™
|
Od listopada br. miesięcznik "Magazyn Podróżników Globtroter" ma wydawać spółka Globtroter.tv. Została ona wydzielona ze spółki PressKontakt, która jest obecnie wydawcą tego tytułu.
|
|
Magazyn dla abonentów platformy N
|
Jeszcze w październiku do abonentów platformy satelitarnej N (ITI Neovision) trafi pierwszy numer dwumiesiÄ™cznika ”Magazyn Abonenta”. Jego wydawcÄ… jest Media Consulting Group.
|
|
BBC HD w Polsce od grudnia
|
1 grudnia br. rozpocznie nadawanie w Polsce kanał BBC HD.
|
|
Polsat uruchomi trzy nowe kanały
|
Zygmunt Solorz-Żak, właściciel Telewizji Polsat SA, zapowiada, że w przyszłym roku jego firma uruchomi trzy kanały tematyczne.
|
Linki:
Strona g³ówna