Sequent Calculus Rules Flashcards by Zoey Sheffield

Q

Sequent Calculus - assumption

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - conjI

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - conjE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - disjI1

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - disjI2

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - disjE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - impI

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - impE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - FalseE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - notI

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - notE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - excluded_middle

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - allI

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - allE

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - spec

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Sequent Calculus - exI

Study These Flashcards

A

Q

Sequent Calculus - exE

Study These Flashcards

A

Q

Sequent Calculus - exCIF

Study These Flashcards

A