dbo:abstract
|
- A formális logikában Venn-diagramok segítségével bizonyos elsőrendű következtetések érvényessége könnyen és szemléletesen ellenőrizhető. A Venn-diagram a halmazokat, azok viszonyait, méretét és műveleteit szemléltető diagram. A halmaz belseje megfelel egy adott halmaz elemeinek, azon kívül pedig az adott halmazba nem tartozó elemek találhatók. (hu)
- A formális logikában Venn-diagramok segítségével bizonyos elsőrendű következtetések érvényessége könnyen és szemléletesen ellenőrizhető. A Venn-diagram a halmazokat, azok viszonyait, méretét és műveleteit szemléltető diagram. A halmaz belseje megfelel egy adott halmaz elemeinek, azon kívül pedig az adott halmazba nem tartozó elemek találhatók. (hu)
|