🏠 Hem
Benchmarkar
📊 Alla benchmarkar 🦖 Dinosaur v1 🦖 Dinosaur v2 ✅ To-Do List-applikationer 🎨 Kreativa fria sidor 🎯 FSACB - Ultimata uppvisningen 🌍 Översättningsbenchmark
Modeller
🏆 Topp 10 modeller 🆓 Gratis modeller 📋 Alla modeller ⚙️ Kilo Code
Resurser
💬 Promptbibliotek 📖 AI-ordlista 🔗 Användbara länkar
Easy

Formell bevisföring och sanning

#logik #matematik #krittiskt-tankande

En övning i deduktiv logik och giltighet.

Identifiera premisserna och slutsatsen i följande påstående och avgör om argumentet är logiskt giltigt: 'Alla människor är dödliga. Sokrates är en människa. Alltså är Sokrates dödlig.' Förklara sedan skillnaden mellan ett argument att vara 'válidt' och att vara 'sant', och ge ett exempel på ett giltigt argument som inte är sant.