Ticket #184 (new task)

Opened 3 years ago

Last modified 3 years ago

consistency through disproving

Reported by: till Owned by: luecke
Priority: normal Milestone: 1.0
Component: provers Version: 1.0
Keywords: Cc:

Description

A theory is consistent iff false can be disproved. Look at the workshops on disproving:

Change History

Changed 3 years ago by till

  • owner changed from till to luecke
Note: See TracTickets for help on using tickets.