Anonymný autor

Aká veta sedí na tieto požiadavky prosím?

Úlohou je vymyslieť vetu v prirodzenom jazyku, ktorú následne prepíšem do formuly jazyka výrokovej logiky. Avšak pre danú vetu musí platiť, že ide o tautológiu, musí obsahovať aspoň 4 výrokové premenné a minimálne 5 logických spojok (aspoň 4 binárne).

1 odpoveď

Lucia J. Kontaktovať

¬ (a4 ↔ ¬a4) ∨ (a1 → a2 ∧ a3)

tato veta v jazyku vyrokovej logiky mi vysla aj podla online kalkulacky na nasledovnom linku:

https://www.erpelstolz.at/cgi-bin/cgi-form?key=0000ca1b

nemam aktualne kapacity prepisat vetu do prirodzeneho jazyka, vzhladom na to ze v slovencine som vetu takehoto razu este netvorila, ale ak by boli nejake navrhy, pri ktorych by sa dalo dalej pomoct, tak rada ak by bolo este treba

Komentáre:

Lucia J.

¬ (a1 ↔ ¬a1) ∨ a2 ∧ a3 → a4 a1 = je informatik a2 = pozna výrokovú logiku a3 = pozná analytickú matematiku a4 = je matematik Nie je pravda, že Ivan je informatik vtedy a len vtedy, keď nie je informatik alebo ak pozná výrokovú logiku a analytickú matematiku, tak je matematik. Neviem nakoľko veta spĺňa požiadavky Vašej úlohy, na kurze sme pracovali s jazykom výrokovej logiky, s prirodzenými vetami ani moc nie:/

Pošli svoju otázku Pošli svoju otázku