Modus ponendo ponens
Z Wikipedii
Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej następnika:
![[(p \implies q) \land p] \implies q\,\!](http://upload.wikimedia.org/math/e/b/d/ebd1e329ff2bb050a3c4e23f2b920bf6.png)
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
-
Jeżeli p, to q p. Zatem: q.
Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania.
[edytuj] Zobacz też
- reguła odrywania
- prawa rachunku zdań,
- modus tollendo ponens,
- modus ponendo tollens,
- modus tollendo tollens
| Kolejne profesjonalne monitory NEC-a |
|
MultiSync LCD2690W2-BK-SV i LCD3090W-BK-SV to oznaczenia najnowszych monitorów LCD firmy NEC. Urządzenia przeznaczone są do profesjonalnych zastosowań - takich jak np. obróbka grafiki, edycja wideo oraz projektowanie CAD/CAM.
|
| Serial ATA 6 Gb/s już niedługo na rynku |
|
Conrad Maxwell, odpowiedzialny za marketing organizacji zajmującej się standardem SATA poinformował, że jeszcze w tym roku pojawi się nowy, szybszy interfejs przeznaczony m.in. dla dysków twardych. Trzecia generacja standardu SATA pozwoli na wyraźne zwiększenie prędkości przesyłu danych.
|
| Monitorowe nowości od LG |
|
LG zapowiedziała wprowadzenie na rynek kilku nowych monitorów LCD. Wszystkie wykorzystują procesor graficzny f-ENGINE, a ich wielkość wynosi od 19 do 27 cali. Wśród nowości większość może się pochwalić rozdzielczością Full HD, natomiast flagowy model o oznaczeniu M237WD oferuje do dyspozycji użytkownika dodatkowo wbudowany tuner telewizyjny oraz pilot zdalnego sterowania.
|
| Badania: młodzież zwierza się z ryzykownych zachowań w Sieci |
|
Kolejne badania przeprowadzone przez amerykańskich naukowców wykazały, że nie wszyscy młodzi ludzie dbają należycie o swoje bezpieczeństwo w Sieci. Ponad połowa z respondentów umieszcza na swoich profilach założonych w serwisach społecznościowych informacje o ryzykownych zachowaniach jakie podejmują na co dzień.
|
| Garmin: topowa nawigacja nuvi |
|
Garmin przedstawił dzisiaj swoją nową nawigację z serii nuvi. Model 885T będzie przeznaczony dla najbardziej wymagających użytkowników. Jedną z nowości wprowadzanych na rynek wraz z tym modelem ma być możliwość wykupu jednorazowego abonamentu na cokwartalne aktualizacje map. Będzie on obowiązywać do czasu zaprzestania przez producenta wydawania uaktualnień dla tego urządzenia.
|
sprawdz strone no host 906 niezarejestrowana strona wymiana linkow